diff options
| author | Zeev Suraski <zeev@php.net> | 2002-09-19 15:58:01 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2002-09-19 15:58:01 +0000 |
| commit | bd115087e39a7dd3fbacc4a6ffb4e7b9c0dbf2b5 (patch) | |
| tree | bb82ec4c1acfdc2ff5e18d99fda5387d512c10d2 /Zend/zend_execute_API.c | |
| parent | 3ae3eb06e92d2ae5894e4e0365b755ba9923446c (diff) | |
| download | php-git-bd115087e39a7dd3fbacc4a6ffb4e7b9c0dbf2b5.tar.gz | |
MFZE1 - connection_status() fix
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 5b452d6e3f..e3903e291b 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -836,11 +836,11 @@ ZEND_API void zend_timeout(int dummy) { TSRMLS_FETCH(); - /* is there any point in this? we're terminating the request anyway... - PG(connection_status) |= PHP_CONNECTION_TIMEOUT; - */ zend_error(E_ERROR, "Maximum execution time of %d second%s exceeded", EG(timeout_seconds), EG(timeout_seconds) == 1 ? "" : "s"); + if (zend_on_timeout) { + zend_on_timeout(EG(timeout_seconds) TSRMLS_CC); + } } |