This should get the file to close properly

diff --git a/Zend/zend-scanner.l b/Zend/zend-scanner.l
index d08b1864dc188cc9eea0dde1833c8deeb8860bbf..9cbe91ecaeeb60e4b71a4bc222c43f934ad954ec 100644 (file)
--- a/Zend/zend-scanner.l
+++ b/Zend/zend-scanner.l
@@ -186,7 +186,7 @@ BEGIN_EXTERN_C()
 ZEND_API void zend_open_file_dtor(void *f)
 {
 #ifdef ZTS
-       delete *((istream **) f);
+       delete *((ifstream **) f);
 #else
        fclose(*((FILE **) f));
 #endif