diff options
Diffstat (limited to 'community/php7/fix-tests-devserver.patch')
| -rw-r--r-- | community/php7/fix-tests-devserver.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/php7/fix-tests-devserver.patch b/community/php7/fix-tests-devserver.patch index 3f8220c5a1..80a72f0f17 100644 --- a/community/php7/fix-tests-devserver.patch +++ b/community/php7/fix-tests-devserver.patch @@ -11,7 +11,7 @@ happens here... --- a/run-tests.php +++ b/run-tests.php -@@ -1918,6 +1918,9 @@ +@@ -2005,6 +2005,9 @@ // Does the output match what is expected? $output = preg_replace("/\r\n/", "\n", trim($out)); @@ -19,5 +19,5 @@ happens here... + $output = preg_replace("/^PHP [0-9.]+ Development Server started at .*\n\n?/m", "", $output); + /* when using CGI, strip the headers from the output */ - $headers = ""; + $headers = array(); |