}
}
+function get_filter($f)
+{
+ if (preg_match("/\.bz2$/", $f)) {
+ if (is_executable("/usr/bin/lbzcat"))
+ $filter = "lbzcat";
+ else
+ $filter = "bzcat";
+ } elseif (preg_match("/\.gz$/", $f)) {
+ $filter = "zcat";
+ } else {
+ $filter = "cat";
+ }
+ return $filter;
+}
+
function dump_log($tail)
{
global $ok, $url, $dist, $arch, $name, $name_url;
# what can I say beside PHP suxx? how the fuck should I create
# bidirectional pipe? gotta use wget
- if (preg_match("/\.bz2$/", $f)) {
- $filter = "bzcat";
- } elseif (preg_match("/\.gz$/", $f)) {
- $filter = "zcat";
- } else {
- $filter = "cat";
- }
+ $filter = get_filter($f);
$cmd = "$filter '$root_directory/$f'";
$fd = popen($cmd, "r");
echo "# date : " .
date("Y/m/d H:i:s", filemtime("$root_directory/$f")) . "\n";
- if (preg_match("/\.bz2$/", $f)) {
- if (is_executable("/usr/bin/lbzcat"))
- $filter = "lbzcat";
- else
- $filter = "bzcat";
- } elseif (preg_match("/\.gz$/", $f)) {
- $filter = "zcat";
- } else {
- $filter = "cat";
- }
+ $filter = get_filter($f);
- $cmd = "$filter '$root_directory/$f'";
+ $cmd = "$filter '$root_directory/$f'";
$fd = popen($cmd, "r");
- while (($s = fgets($fd, 1000)) != false) {
- echo $s;
- }
+ fpassthru($fd);
pclose($fd);
}