]> git.joonet.de Git - adminer.git/commitdiff
Cover unused and dead code in index.php
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Fri, 3 Oct 2008 16:32:11 +0000 (16:32 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Fri, 3 Oct 2008 16:32:11 +0000 (16:32 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@519 7c3ca157-0c34-0410-bff1-cbf682f78f5c

_coverage.php
index.php

index 6e762b8b3b79557320bdd5a00298f7e6398acf57..62b47be47bd25320b71313964a5831d8a25f1355 100644 (file)
@@ -25,6 +25,8 @@ if (!extension_loaded("xdebug")) {
 
 if ($_GET["start"]) {
        $_SESSION["coverage"] = array();
+       xdebug_start_code_coverage(XDEBUG_CC_UNUSED | XDEBUG_CC_DEAD_CODE);
+       include "./index.php";
        header("Location: .");
        exit;
 }
index 3cb00c1d29d78425eeb8e5f619737f8c02b42bac..9a45aeee8cd1eb09ebadba3c27ffd09ec82d37d3 100644 (file)
--- a/index.php
+++ b/index.php
@@ -24,6 +24,9 @@ if (isset($_SESSION["coverage"])) {
        }
        xdebug_start_code_coverage(XDEBUG_CC_UNUSED | XDEBUG_CC_DEAD_CODE);
        register_shutdown_function('save_coverage');
+       if ($_GET["start"]) {
+               return;
+       }
 }
 if (get_magic_quotes_gpc()) {
     $process = array(&$_GET, &$_POST);