blob: e66c890aa7a79ecd1bad1c41ffd0aed21458e483 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/usr/local/bin/php-cgi -q
<?php
$last_text = "";
while (!stristr($status, "Done")) {
$status = get_status();
if ($status <> "") {
echo $status . "\n";
}
sleep(1);
}
function get_status() {
global $last_text;
$status = file_get_contents("/var/run/filter_reload_status");
$status = str_replace("...", "", $status);
$status .= "...";
if ($status <> $last_text) {
$last_text = $status;
return $status;
}
return "";
}
?>
|
