Call exec_finished()

diff --git a/main/main.c b/main/main.c
index 2ae134560bb444e7587f064a77bfce9cf19e1bb4..fc5dc10bd42e3ba6bd677dab097f6b9c6175952a 100644 (file)
--- a/main/main.c
+++ b/main/main.c
@@ -1141,9 +1141,14 @@ void php_request_shutdown(void *dummy)
        TSRMLS_FETCH();
 
        /* EG(opline_ptr) points into nirvana and therefore cannot be safely accessed
-          inside zend_executor callback functions. */
+        * inside zend_executor callback functions.
+        */
        EG(opline_ptr) = NULL;
 
+       zend_try {
+               zend_exec_finished(TSRMLS_C);
+       } zend_end_try();
+
        zend_try {
                php_end_ob_buffers((zend_bool)(SG(request_info).headers_only?0:1) TSRMLS_CC);
        } zend_end_try();