A simple PHP script for starting, and stopping servers.