diff options
| author | Pierre Joye <pajoye@php.net> | 2011-09-08 09:17:21 +0000 |
|---|---|---|
| committer | Pierre Joye <pajoye@php.net> | 2011-09-08 09:17:21 +0000 |
| commit | f20e7057602664a01c2859c871dd2e092e2e15fc (patch) | |
| tree | 732bb575c6749119a60a84354f845363fbd2d11d | |
| parent | ff02132caf9022f1b3ac873e57c4eb0945ca838c (diff) | |
| download | php-git-f20e7057602664a01c2859c871dd2e092e2e15fc.tar.gz | |
- fix build when no zend signal support
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 2572f85b90..9d4cc799a2 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -1328,6 +1328,7 @@ ZEND_API void zend_timeout(int dummy) /* {{{ */ TSRMLS_FETCH(); if (zend_on_timeout) { +#ifdef ZEND_SIGNALS /* We got here because we got a timeout signal, so we are in a signal handler at this point. However, we want to be able to timeout any user-supplied @@ -1335,6 +1336,7 @@ ZEND_API void zend_timeout(int dummy) /* {{{ */ calling these */ SIGG(running) = 0; +#endif zend_on_timeout(EG(timeout_seconds) TSRMLS_CC); } |