diff --git a/install.php b/install.php index 82d377882f405dfe09c93d2f7b514ca76a443b16..2cbf8e3b1b97917f5c8bfa66cffa2082c54266fb 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");