summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcheck.php18
1 files changed, 13 insertions, 5 deletions
diff --git a/check.php b/check.php
index a733c2d8..ed5457d3 100755
--- a/check.php
+++ b/check.php
@@ -235,10 +235,11 @@ if ($ref) {
exit(0);
} else if ($loc) {
printf("%50.50s : %s\n", $mirror, date('r', $loc));
+ exit(1);
} else {
printf("%50.50s : N/A\n", $mirror);
}
- exit(1);
+ exit(2);
}
continue;
}
@@ -259,8 +260,8 @@ if ($ref) {
}
}
if ($cli) {
- $nb=count($pids);
- $ok=0;
+ $nb = count($pids);
+ $ok = $lack = 0;
while (count($pids)) {
if (posix_isatty(STDOUT)) {
printf("Wait %d\r", count($pids));
@@ -270,11 +271,18 @@ if ($ref) {
die("Cound not wait\n");
exit (1);
} else {
- if (!pcntl_wexitstatus($status)) $ok++;
+ switch (pcntl_wexitstatus($status)) {
+ case 0:
+ $ok++;
+ break;
+ case 1:
+ $lack++;
+ break;
+ }
unset($pids[$pid]);
}
}
- if ($nb) printf("%d mirrors checked, %d OK.\n", $nb, $ok);
+ if ($nb) printf("%3d mirrors checked,\n%3d are OK\n%3d are stalled\n%3d are KO.\n", $nb, $ok, $lack, $nb-$ok-$lack);
} else {
echo "</ul>\n";
}