\n"; } else { echo << Status File Fingerprint Line Nr(s) Test Comment \n EOD; # Format of file: # filename:fingerprint:linenr:test:status:comment while(feof($fd) == 0) { $buf = rtrim(fgets($fd, 512)); if ($buf == "") continue; if (preg_match("/^\s*#/", $buf)) continue; list($file,$bugid,$linenr,$test,$status,$comment) = split(":", $buf, 6); if (!preg_match("/$regexp/", $test)) continue; echo ""; echo "$status"; # There is no point in adding a link to file/line number for # FIXED entries. Those are aging to fast and the link would point # into Nirvana. if ($status != "FIXED") { $lastline = split("-", $linenr); if (isset($lastline[1])) array_shift($lastline); $file = "$file"; } echo "$file"; echo "$bugid"; echo "$linenr"; echo "$test"; echo "$comment"; echo "\n"; } fclose($fd); echo ""; } } ?>