diff options
author | Zeev Suraski <zeev@php.net> | 1999-04-24 16:51:15 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 1999-04-24 16:51:15 +0000 |
commit | 125275b0842f9707dae14bb8642bffd8045d6fae (patch) | |
tree | ffec527a0ab4cb004dc25872efeb412f76be0d85 /main/main.c | |
parent | 6ecc81c097e6736f77df3806247a787f17fa714a (diff) | |
download | php-git-125275b0842f9707dae14bb8642bffd8045d6fae.tar.gz |
Small fixes
Diffstat (limited to 'main/main.c')
-rw-r--r-- | main/main.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/main/main.c b/main/main.c index b28c75f5f4..74663ac74a 100644 --- a/main/main.c +++ b/main/main.c @@ -361,11 +361,7 @@ PHPAPI void php3_error(int type, const char *format,...) ELS_FETCH(); PLS_FETCH(); - if (!(type & E_CORE)) { - if (!PG(initialized)) { /* don't display further errors after php3_request_shutdown() */ - return; - } - } + switch (type) { case E_CORE_ERROR: case E_CORE_WARNING: @@ -680,7 +676,6 @@ void php3_request_shutdown(void *dummy) php3_destroy_request_info(NULL); shutdown_memory_manager(0, 0); - php3_error(E_WARNING, "Unknown resources in request shutdown function"); php3_unset_timeout(); |