diff options
| author | Xinchen Hui <laruence@gmail.com> | 2017-02-15 12:27:56 +0800 |
|---|---|---|
| committer | Xinchen Hui <laruence@gmail.com> | 2017-02-15 12:27:56 +0800 |
| commit | 1242f53ddb018cdba93a9ffe4f56554a6471901f (patch) | |
| tree | ab44faf84844cd2c8bd3f094903d2e62f2dc0606 /Zend/zend_execute_API.c | |
| parent | 930ce02048471361bd0016ebf99d26bc5fdb4d04 (diff) | |
| download | php-git-1242f53ddb018cdba93a9ffe4f56554a6471901f.tar.gz | |
Workaround to fix bug #74093 (Maximum execution time of n+2 seconds exceed not written in error_log)
Use a different exit code for hard_timeout, 124 is used by linux
timeout:http://man7.org/linux/man-pages/man1/timeout.1.html
"If the command times out, and --preserve-status is not set, then exit with status 124"
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |