diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2016-11-20 14:14:46 +0100 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2016-11-20 14:17:14 +0100 |
commit | c65d24eaa3671e61db7c2a3f28daeaf7c74ac758 (patch) | |
tree | 4de6744340bbd47e92188ebf243e3d572c95c1aa /Zend/zend_execute_API.c | |
parent | ebfd93f725eb9b9cfadbbde98047efe76f658da6 (diff) | |
download | php-git-c65d24eaa3671e61db7c2a3f28daeaf7c74ac758.tar.gz |
Remove a few unused write warning (backport from master, oops)s
Diffstat (limited to 'Zend/zend_execute_API.c')
-rw-r--r-- | Zend/zend_execute_API.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index f96cac5f09..3f8025b648 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -1183,7 +1183,6 @@ 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 /* |