improve stop of web server: by using httpd.pid