]> git.joonet.de Git - adminer.git/commitdiff
Remove coverage
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Tue, 21 Jul 2009 15:36:59 +0000 (15:36 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Tue, 21 Jul 2009 15:36:59 +0000 (15:36 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@865 7c3ca157-0c34-0410-bff1-cbf682f78f5c

compile.php

index deeb5d0548d7c22717ecc4c33806349ab71810dd..39f04b2cae8aae0500eb26cdd0c1c7575c4b475a 100644 (file)
@@ -191,8 +191,8 @@ if (isset($_SERVER["argv"][1])) {
 }
 
 $file = file_get_contents(dirname(__FILE__) . "/$project/index.php");
-$file = preg_replace('(' . str_replace(' ', '\\s*', preg_quote(' if (isset($_GET["coverage"])) { include "./coverage.inc.php"; }')) . ')', '', $file);
 $file = preg_replace_callback('~\\b(include|require) "([^"]*)";~', 'put_file', $file);
+$file = preg_replace('(' . str_replace(' ', '\\s*', preg_quote(' if (isset($_GET["coverage"])) { include "../adminer/coverage.inc.php"; }')) . ')', '', $file);
 $file = preg_replace_callback('~\\b(include|require) "([^"]*)";~', 'put_file', $file); // bootstrap.inc.php
 $file = preg_replace("~if \\(isset\\(\\\$_SESSION\\[\"coverage.*\n}\n| && !isset\\(\\\$_SESSION\\[\"coverage\"\\]\\)~sU", '', $file);
 $file = preg_replace_callback("~lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])~s", 'lang_ids', $file);