Fix leak in "php -m".

diff --git a/sapi/cli/php_cli.c b/sapi/cli/php_cli.c
index 9ad2149b800bce7dacbbd5e51b1de52c616a7280..42cc540fbd54584671b24b26974f677a327a26ba 100644 (file)
--- a/sapi/cli/php_cli.c
+++ b/sapi/cli/php_cli.c
@@ -634,6 +634,7 @@ int main(int argc, char *argv[])
                                php_printf("\n");
                                php_end_ob_buffers(1 TSRMLS_CC);
                                exit_status=1;
+                               zend_ini_deactivate(TSRMLS_C);
                                goto out_err;
 
 #if 0 /* not yet operational, see also below ... */