title: PHP, ping a list of IPs?
body: <p>I have a list of IPs which I want to ping via PHP (to save me the trouble of manually doing it via SSH).</p>
  
  <p>I can run exec, escapeshellarg, system etc on my server - how would I create a script to ping an IP once and return the response time?</p>
  
  <p>Any help would be greatly appreciated.</p>
  
  <p>Thank you :)</p>