From ba85899d608c6dc7970edbaa1fd899ad7ec707a0 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Wed, 24 Mar 2010 12:45:45 +0000
Subject: [PATCH] _end_coverage as a shutdown function, so that it still gets
 called on 'exit;'

---
 index.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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