ping server

<?php
   $server = "www.java2s.com";

   $count = 3;

   echo "<pre>";
      system("/bin/ping -c $count $server");
   echo "</pre>";

   system("killall -q ping");
?>