Defensively set stream to NULL

nielsdos · nielsdos · commit 557aa43255d3 · 2023-11-13T19:24:49.000+01:00
diff --git a/ext/dom/html_document.c b/ext/dom/html_document.c
@@ -1084,6 +1084,7 @@ PHP_METHOD(DOM_HTMLDocument, createFromFile)
 	}
 
 	php_stream_close(stream);
+	stream = NULL;
 
 	dom_object *intern = php_dom_instantiate_object_helper(
 		return_value,

Original file line number	Diff line number	Diff line change
`@@ -1084,6 +1084,7 @@ PHP_METHOD(DOM_HTMLDocument, createFromFile)`
`1084`	`1084`	`}`
`1085`	`1085`
`1086`	`1086`	`php_stream_close(stream);`
	`1087`	`+ stream = NULL;`
`1087`	`1088`
`1088`	`1089`	`dom_object *intern = php_dom_instantiate_object_helper(`
`1089`	`1090`	`return_value,`