diff options
| author | Stefan Esser <sesser@php.net> | 2002-07-25 09:33:26 +0000 |
|---|---|---|
| committer | Stefan Esser <sesser@php.net> | 2002-07-25 09:33:26 +0000 |
| commit | 3e05678842e7451d01639446e6097a042de5e192 (patch) | |
| tree | 403ef78398c3d0a094f45774ce51af1824642ee2 | |
| parent | 4a8dd1255f28c5d169c890ff4b917554e5e70c73 (diff) | |
| download | php-git-3e05678842e7451d01639446e6097a042de5e192.tar.gz | |
do not dtor empty elements
| -rw-r--r-- | main/main.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/main/main.c b/main/main.c index 186773d487..38ba3eb79e 100644 --- a/main/main.c +++ b/main/main.c @@ -776,7 +776,9 @@ void php_request_shutdown(void *dummy) int i; for (i=0; i<NUM_TRACK_VARS; i++) { - zval_ptr_dtor(&PG(http_globals)[i]); + if (PG(http_globals)[i]) { + zval_ptr_dtor(&PG(http_globals)[i]); + } } } zend_end_try(); |