diff options
| author | Nazar Mokrynskyi <nazar@mokrynskyi.com> | 2016-06-22 22:01:34 +0300 |
|---|---|---|
| committer | Nazar Mokrynskyi <nazar@mokrynskyi.com> | 2016-06-22 22:01:34 +0300 |
| commit | ddf1c0891b919dd1d2cbfba064cb77ce1391486d (patch) | |
| tree | 9663d31de57794ea0039f3d86a776482fedd2caf /run-tests.php | |
| parent | d69fd5d41ab29a3320f6102f79292fc529007e5e (diff) | |
| download | php-git-ddf1c0891b919dd1d2cbfba064cb77ce1391486d.tar.gz | |
Tiny tweak for `$header` initialization, it should always be an array
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 3 |
1 files changed, 1 insertions, 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) { |