_end_coverage as a shutdown function, so that it still gets called on 'exit;'

This commit is contained in:
Shish 2010-03-24 12:45:45 +00:00
parent 973da3cb0f
commit ba85899d60

View File

@ -66,7 +66,10 @@ if(!file_exists("config.php")) {
require_once "config.php"; require_once "config.php";
require_once "core/util.inc.php"; require_once "core/util.inc.php";
if(COVERAGE) {_start_coverage();} if(COVERAGE) {
_start_coverage();
register_shutdown_function("_end_coverage");
}
_version_check(); _version_check();
_sanitise_environment(); _sanitise_environment();
_start_cache(); _start_cache();
@ -150,5 +153,4 @@ catch(Exception $e) {
</html> </html>
EOD; EOD;
} }
if(COVERAGE) {_end_coverage();}
?> ?>