diff options
Diffstat (limited to 'public_html/index.php')
| -rw-r--r-- | public_html/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public_html/index.php b/public_html/index.php index 6d81b244c..37526d903 100644 --- a/public_html/index.php +++ b/public_html/index.php @@ -230,7 +230,7 @@ function guidv4() $testname = null; -if (getenv("ENVIRONMENT") === "testsuite") { +if (getenv("ENVIRONMENT") === "testsuite" && getenv("COLLECT_COVERAGE") == 1) { if (function_exists("phpdbg_get_executable")) { $testname = implode(' ', $argv); } elseif (isset($_SERVER["HTTP_X_TESTSUITE_TESTNAME"])) { |