diff options
author | Andrew Dolgov <[email protected]> | 2011-01-11 11:31:21 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2011-01-11 11:31:21 +0300 |
commit | 86268d8ba0baaaef3372abacc8bc77513705d562 (patch) | |
tree | 2021a178e6c72f4c3493b7cb4d1990ae8fc5d275 /update.php | |
parent | 80dce75e1e959031d8bc589b4c6adf1fc5fa7571 (diff) |
fix PHP_EXECUTABLE declaration not being properly overriden in config.php (closes #296)
Diffstat (limited to 'update.php')
-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") { |