diff options
author | Dmitry Stogov <dmitry@zend.com> | 2018-01-26 15:22:36 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2018-01-26 15:22:36 +0300 |
commit | aad12cb49c300a578d212d3f3e0fa00f6688161c (patch) | |
tree | 7107ac7b09b0689585328c722e297f892f40a14f | |
parent | 3fe9e10a1b357f94871bc225056c90b486aa7dbd (diff) | |
download | php-git-aad12cb49c300a578d212d3f3e0fa00f6688161c.tar.gz |
Restore initial values on graceful server restart.
-rw-r--r-- | Zend/zend_string.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Zend/zend_string.c b/Zend/zend_string.c index 2b428f4f42..e4edc92e47 100644 --- a/Zend/zend_string.c +++ b/Zend/zend_string.c @@ -69,6 +69,12 @@ ZEND_API void zend_interned_strings_init(void) int i; zend_string *str; + interned_string_request_handler = zend_new_interned_string_request; + interned_string_copy_storage = NULL; + + zend_empty_string = NULL; + zend_known_strings = NULL; + zend_init_interned_strings_ht(&interned_strings_permanent, 1); zend_new_interned_string = zend_new_interned_string_permanent; |