diff options
author | Andrew Dolgov <[email protected]> | 2008-07-10 08:54:57 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2008-07-10 08:54:57 +0100 |
commit | 64eb624cad460c26bbebfc9dbfeecc1e0172b523 (patch) | |
tree | de296894a2ee1c2051180c9265ddcb34c929b177 /config.php-dist | |
parent | edd56fe579f988907e30412447797f85c73f30f4 (diff) |
move php executable path for old-style daemon to config.php (bump version) (closes #212)
Diffstat (limited to 'config.php-dist')
-rw-r--r-- | config.php-dist | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config.php-dist b/config.php-dist index 1694059d5..4bcfc31ba 100644 --- a/config.php-dist +++ b/config.php-dist @@ -184,7 +184,10 @@ // Selectively gzip output to improve wire performance. This requires // PHP Zlib extension on the server. - define('CONFIG_VERSION', 16); + define('PHP_EXECUTABLE', '/usr/bin/php'); + // Path to PHP executable + + define('CONFIG_VERSION', 17); // Expected config version. Please update this option in config.php // if necessary (after migrating all new options from this file). |