diff options
| author | Nikita Popov <nikic@php.net> | 2016-11-20 19:02:40 +0100 |
|---|---|---|
| committer | Nikita Popov <nikic@php.net> | 2016-11-20 19:09:05 +0100 |
| commit | ff5a65d26b139142c5e967582c369ef65b79adf8 (patch) | |
| tree | 75822bfec1d0b36118a0d9f28b5e11293bf0e7d0 /Zend/zend_execute_API.c | |
| parent | c65d24eaa3671e61db7c2a3f28daeaf7c74ac758 (diff) | |
| download | php-git-ff5a65d26b139142c5e967582c369ef65b79adf8.tar.gz | |
Revert "Remove a few unused write warning (backport from master, oops)s"
This reverts commit c65d24eaa3671e61db7c2a3f28daeaf7c74ac758.
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 3f8025b648..f96cac5f09 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -1183,6 +1183,7 @@ ZEND_API int zend_eval_string_ex(char *str, zval *retval_ptr, char *string_name, ZEND_API void zend_timeout(int dummy) /* {{{ */ { + if (zend_on_timeout) { #ifdef ZEND_SIGNALS /* |