From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Sat, 13 Jun 2009 20:55:57 +0000 (+0000)
Subject: Disable coverage without Xdebug
X-Git-Tag: v3.0.0~842
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=bda23416986398f11d654cb54663fccc9f04696f;p=adminer.git

Disable coverage without Xdebug

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@683 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---

diff --git a/coverage.php b/coverage.php
index 30ea9e4b..249db92c 100644
--- a/coverage.php
+++ b/coverage.php
@@ -24,6 +24,7 @@ if (!extension_loaded("xdebug")) {
 }
 
 if ($_GET["start"]) {
+	unset($_SESSION["coverage"]);
 	xdebug_start_code_coverage(XDEBUG_CC_UNUSED | XDEBUG_CC_DEAD_CODE);
 	$_SESSION["coverage"] = array();
 	include "./adminer/index.php";