diff --git a/_coverage.php b/_coverage.php index 6e762b8b..62b47be4 100644 --- a/_coverage.php +++ b/_coverage.php @@ -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; } diff --git a/index.php b/index.php index 3cb00c1d..9a45aeee 100644 --- 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);