fix shutdown crash with 7.3/master

diff --git a/src/php_http_options.c b/src/php_http_options.c
index d4be512a7e1e9584cdace1a12429054fee90e471..4cb6ed37b648cabf62d305024427ece77796f9ba 100644 (file)
--- a/src/php_http_options.c
+++ b/src/php_http_options.c
@@ -16,7 +16,7 @@ static void php_http_options_hash_dtor(zval *pData)
 {
        php_http_option_t *opt = Z_PTR_P(pData);
 
-       zval_ptr_dtor(&opt->defval);
+       zval_internal_dtor(&opt->defval);
        zend_hash_destroy(&opt->suboptions.options);
        zend_string_release(opt->name);
        pefree(opt, opt->persistent);