diff options
-rwxr-xr-x | update.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/update.php b/update.php index 873928b66..e0c460273 100755 --- a/update.php +++ b/update.php @@ -2,15 +2,15 @@ <?php define('DISABLE_SESSIONS', true); - if (!defined('PHP_EXECUTABLE')) - define('PHP_EXECUTABLE', '/usr/bin/php'); - require_once "functions.php"; require_once "sanity_check.php"; require_once "config.php"; require_once "db.php"; require_once "db-prefs.php"; + if (!defined('PHP_EXECUTABLE')) + define('PHP_EXECUTABLE', '/usr/bin/php'); + $op = $argv[1]; if (!$op || $op == "-help") { |