simple scripts for launching and monitoring a web server