diff options
Diffstat (limited to 'community/php7/fix-tests-devserver.patch')
| -rw-r--r-- | community/php7/fix-tests-devserver.patch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/community/php7/fix-tests-devserver.patch b/community/php7/fix-tests-devserver.patch deleted file mode 100644 index 317ceb0ffcb..00000000000 --- a/community/php7/fix-tests-devserver.patch +++ /dev/null @@ -1,23 +0,0 @@ -From: Jakub Jirutka <jakub@jirutka.cz> -Date: Mon, 01 May 2017 01:33:00 +0200 -Subject: [PATCH] Fix tests failing due to extra message from built-in web server - -Remove messages like: - - PHP 7.1.4 Development Server started at Mon May 1 00:42:39 2017 - -from test outputs, because tests do not expect them. I have no clue what -happens here... - ---- a/run-tests.php -+++ b/run-tests.php -@@ -1986,6 +1986,9 @@ - // Does the output match what is expected? - $output = preg_replace("/\r\n/", "\n", trim($out)); - -+ // Remove message from built-in development server. -+ $output = preg_replace("/^PHP [0-9.]+ Development Server started at .*\n\n?/m", "", $output); -+ - /* when using CGI, strip the headers from the output */ - $headers = array(); - |