File:
1.17.5a/server/test/ping.sh (
View as Code)
1: #!/usr/bin/php -q
2: 3: require("../base/timer.inc.php");
4: require("../base/tests.inc.php");
5: if ($argc!=2)
6: {
7: echo "Usage: ping.sh hostname\n";
8: exit();
9: }
10: $host=$argv[1];
11: while (1==1)
12: {
13: echo "Pinging ".$host.": ";
14: $ptr=PingTest($host);
15: //printf("%f\n",$ptr);
16: echo $ptr."\n";
17: sleep(1);
18: }
19: ?>
20: