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 30ea9e4b05f4e1eaca158c1c4e75cb71b1641e08..249db92c6dedfbd2711142437bfb848cd4accf6e 100644 (file)
--- 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";