diff options
| author | Zeev Suraski <zeev@php.net> | 1999-05-10 19:48:23 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 1999-05-10 19:48:23 +0000 |
| commit | 928e322038d9b7944c8e3d2a710fe3ac9975bde4 (patch) | |
| tree | 1d195139048551f6928e9cb2730d043b9e4a0172 /cgi_main.c | |
| parent | 8f48b83df4334d505a9f8881e32702922bb3484d (diff) | |
| download | php-git-928e322038d9b7944c8e3d2a710fe3ac9975bde4.tar.gz | |
Weed out all BoundsChecker-found bugs
Diffstat (limited to 'cgi_main.c')
| -rw-r--r-- | cgi_main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cgi_main.c b/cgi_main.c index 6760dbfba9..a7c01c7f07 100644 --- a/cgi_main.c +++ b/cgi_main.c @@ -436,6 +436,7 @@ any .htaccess restrictions anywhere on your site you can leave doc_root undefine php3_header(); /* Make sure headers have been sent */ php_request_shutdown((void *) 0); php_module_shutdown(); + tsrm_shutdown(); return SUCCESS; } |