fixing graphical coverage report

tests/coverage.php

@@ -42,14 +42,16 @@ $result = unserialize(file_get_contents("coverage.txt"));
 $coverage = $result["coverage"];
 
 function getCoverageReport($file){
-    global $coverage;
+    global $result;
+    $coverage = $result["coverage"];
+    $path = $result["coverage"];
     $html = '<div id="coverage">';
     if(!isset($coverage[$file])){
         $html .= 'No coverage for this file</div>';
         return $html;
     }
     $coveredLines = $coverage[$file]; 
-    $fileArray = file($file);
+    $fileArray = file(str_replace($path, Doctrine::getPath(), $file));
     $html .= '<dl class="table-display">' . "\n";
     foreach($fileArray as $num => $line){
        $linenum = $num+1;