Modify PHP stop() to skip httpd stop when the process is already dead