Just a little PHP script to ping your servers.

You will need to add your servers and their roles to the top of the file.

Code is free, use as you wish.

Ittech - 2010.