From 2b5f2dba792de32f1f0e454f9216d8cfce7dacad Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Fri, 28 Sep 2012 08:33:18 -0400
Subject: [PATCH] More flexible handling of --use-default switch.

---
 install.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.php b/install.php
index 2cbf8e3b1b9..f1f7b19b16e 100644
--- a/install.php
+++ b/install.php
@@ -32,7 +32,7 @@ $basePath = '/vufind';
 
 echo "VuFind has been found in {$baseDir}.\n\n";
 
-if (!isset($argv[1]) || $argv[1] != '--use-defaults') {
+if (!isset($argv[1]) || !in_array('--use-defaults', $argv)) {
     // Get override directory path:
     while (true) {
         $overrideDirInput = getInput(
-- 
GitLab