From 377d576a6e68def5708cf1ffcd3c233c4dddf356 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Tue, 26 Jun 2018 17:19:43 +0200
Subject: [PATCH] fix shutdown crash with 7.3/master

---
 src/php_http_options.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/php_http_options.c b/src/php_http_options.c
index d4be512..4cb6ed3 100644
--- 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);
-- 
2.30.2