fix shutdown crash with 7.3/master
authorMichael Wallner <mike@php.net>
Tue, 26 Jun 2018 15:19:43 +0000 (17:19 +0200)
committerMichael Wallner <mike@php.net>
Tue, 26 Jun 2018 15:19:43 +0000 (17:19 +0200)
src/php_http_options.c

index d4be512a7e1e9584cdace1a12429054fee90e471..4cb6ed37b648cabf62d305024427ece77796f9ba 100644 (file)
@@ -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);