diff options
| -rw-r--r-- | NEWS | 2 | ||||
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
2 files changed, 3 insertions, 1 deletions
@@ -3,6 +3,8 @@ PHP NEWS ?? ??? 2017, PHP 7.1.3 - Core: + . Fixed bug #74093 (Maximum execution time of n+2 seconds exceed not written + in error_log). (Laruence) . Fixed bug #73989 (PHP 7.1 Segfaults within Symfony test suite). (Dmitry, Laruence) . Fixed bug #74084 (Out of bound read - zend_mm_alloc_small). (Laruence) diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 8f79881c0e..e02198526f 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -1203,7 +1203,7 @@ static void zend_timeout_handler(int dummy) /* {{{ */ if (output_len > 0) { write(2, log_buffer, MIN(output_len, sizeof(log_buffer))); } - _exit(1); + _exit(124); } #endif |