1
0
mirror of https://github.com/php/php-src.git synced 2026-04-27 18:23:26 +02:00

Merge branch 'PHP-7.1'

* PHP-7.1:
  Workaround to fix bug #74093 (Maximum execution time of n+2 seconds exceed not written in error_log)
This commit is contained in:
Xinchen Hui
2017-02-15 12:30:23 +08:00
+1 -1
View File
@@ -1217,7 +1217,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