diff options
author | Andi Gutmans <andi@php.net> | 1999-09-05 05:15:42 +0000 |
---|---|---|
committer | Andi Gutmans <andi@php.net> | 1999-09-05 05:15:42 +0000 |
commit | 04b0bc4c700de3a1d61faa606f8c0cd9ede9e32d (patch) | |
tree | d47afb0bbfd1d474b5389c2cbb4a39cf9de8947b /main | |
parent | 8c2f752c3d86062e710facb0c03d40a96509ea50 (diff) | |
download | php-git-04b0bc4c700de3a1d61faa606f8c0cd9ede9e32d.tar.gz |
- php_error(E_ERROR,...) won't ever return so change the connection_status
before it is called.
Diffstat (limited to 'main')
-rw-r--r-- | main/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/main.c b/main/main.c index b573419841..9eded7ac24 100644 --- a/main/main.c +++ b/main/main.c @@ -472,9 +472,9 @@ static void php3_timeout(int dummy) { PLS_FETCH(); + PG(connection_status) |= PHP_CONNECTION_TIMEOUT; php_error(E_ERROR, "Maximum execution time of %d second%s exceeded", php_timeout_seconds, php_timeout_seconds == 1 ? "" : "s"); - PG(connection_status) |= PHP_CONNECTION_TIMEOUT; } #endif |