provides some useful tools for a web server