From ddf1c0891b919dd1d2cbfba064cb77ce1391486d Mon Sep 17 00:00:00 2001 From: Nazar Mokrynskyi Date: Wed, 22 Jun 2016 22:01:34 +0300 Subject: [PATCH] Tiny tweak for `$header` initialization, it should always be an array --- run-tests.php | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/run-tests.php b/run-tests.php index 1639db5b25..24e127eec4 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1900,12 +1900,11 @@ COMMAND $cmd $output = preg_replace("/\r\n/", "\n", trim($out)); /* when using CGI, strip the headers from the output */ - $headers = ""; + $headers = array(); if (isset($old_php) && preg_match("/^(.*?)\r?\n\r?\n(.*)/s", $out, $match)) { $output = trim($match[2]); $rh = preg_split("/[\n\r]+/", $match[1]); - $headers = array(); foreach ($rh as $line) { if (strpos($line, ':') !== false) { -- 2.50.1