Fall 2013 updates: code reading exercises of bozohttpd, mini_httpd, tinyhttpd, lighttpd, nginx