From 9527bb700a02c86f3aee740630e18363e10dda07 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Fri, 28 Sep 2012 08:31:47 -0400
Subject: [PATCH] Set VUFIND_LOCAL_MODULES variable in vufind.bat.
---
install.php | 1 +
1 file changed, 1 insertion(+)
diff --git a/install.php b/install.php
index 82d377882f4..2cbf8e3b1b9 100644
--- a/install.php
+++ b/install.php
@@ -96,6 +96,7 @@ if (!isset($argv[1]) || $argv[1] != '--use-defaults') {
// Build the Windows start file in case we need it:
$batch = "@set VUFIND_HOME={$baseDir}\n" .
"@set VUFIND_LOCAL_DIR={$overrideDir}\n" .
+ (empty($module) ? '' : "@set VUFIND_LOCAL_MODULES={$module}\n") .
"@call run_vufind.bat %1 %2 %3 %4 %5 %6 %7 %8 %9";
if (!@file_put_contents($baseDir . '/vufind.bat', $batch)) {
die("Problem writing {$baseDir}/vufind.bat.\n\n");
--
GitLab