Fix ZTS mode

diff --git a/ext/standard/file.c b/ext/standard/file.c
index 7e89e3b8e4e871b245bb4ec87d97b6764e80a625..ceb83af63ff95c4a2fc8e505f98942da26f27611 100644 (file)
--- a/ext/standard/file.c
+++ b/ext/standard/file.c
@@ -131,6 +131,7 @@ static ZEND_RSRC_DTOR_FUNC(file_context_dtor)
 {
        php_stream_context *context = (php_stream_context*)rsrc->ptr;
        zval_dtor(context->options);
+       context->options = NULL;
        php_stream_context_free(context);
 }