A few discrete tools for web server monitoring