-// PHP-5.3
-if (!defined("PHP_BINARY")) {
- define("PHP_BINARY", PHP_BINDIR.DIRECTORY_SEPARATOR."php");
+ini_set("log_errors", true);
+ini_set("error_log", __DIR__."/server.log");
+
+function log() {
+ error_log(sprintf("%s: %s\n", date("[Y-m-d H:i:s]"),
+ call_user_func_array("sprintf", func_get_args())));
+}
+
+$php = getenv('TEST_PHP_EXECUTABLE');
+if ($php) {
+ define('PHP_BIN', $php);
+} else if (defined('PHP_BINARY')) {
+ define('PHP_BIN', PHP_BINARY);
+} else {
+ // PHP-5.3
+ define("PHP_BIN", PHP_BINDIR.DIRECTORY_SEPARATOR."php");