1: #!/usr/bin/php -q
  2: <?php
  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: