High-performance, pure-Python HTTP server used by CherryPy
