provides some useful tools for a web server 