+ini_set("log_errors", true);
+ini_set("error_log", __DIR__."/server.log");
+
+function logger() {
+ if (!ini_get("date.timezone")) {
+ date_default_timezone_set(@date_default_timezone_get());
+ }
+ error_log(sprintf("%s(%s): %s",
+ basename(getenv("SCRIPT_FILENAME"), ".php"),
+ basename(current(get_included_files()), ".inc"),
+ 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");
+}
+
+foreach (array("raphf", "propro", "http") as $ext) {
+ if (!extension_loaded($ext)) {
+ dl(ext_lib_name($ext));
+ }
+}
+
+function get_extension_load_arg($bin, $args, $ext) {
+ $bin = escapeshellcmd($bin);
+ $args = implode(' ', array_map('escapeshellarg', $args));
+
+ // check if php will load the extension with the existing args
+ exec(sprintf('%s %s -m', $bin, $args), $output);
+
+ foreach ($output as $line ) {
+ if (trim($line) === $ext) {
+ return null;
+ }
+ }
+
+ // try to load the extension with an arg
+ $arg = '-dextension=' . ini_get('extension_dir') . '/' . ext_lib_name($ext);
+ exec(sprintf('%s %s %s -m', $bin, $args, escapeshellarg($arg)), $output);
+
+ foreach ($output as $line ) {
+ if (trim($line) === $ext) {
+ return $arg;
+ }
+ }
+
+ // check if the child will be able to dl() the extension
+ $success = shell_exec(sprintf('%s %s -r "echo (int)dl(%s);', $bin, $args, var_export(ext_lib_name($ext), true)));
+ if ($success) {
+ return null;
+ }
+
+ echo "Unable to load extension '{$ext}' in child process";
+ exit(1);
+}
+
+function ext_lib_name($ext) {
+ if (PHP_SHLIB_SUFFIX === 'dll') {
+ return "php_{$ext}.dll";
+ }
+
+ return $ext . "." . PHP_SHLIB_SUFFIX;
+}
+
+function serve($cb) {
+ /* stream_socket_server() automatically sets SO_REUSEADDR,
+ * which is, well, bad if the tests are run in parallel
+ */
+ $offset = rand(0,2000);
+ foreach (range(8000+$offset, 9000+$offset) as $port) {
+ logger("serve: Trying port %d", $port);
+ if (($server = @stream_socket_server("tcp://localhost:$port"))) {