The sources for the quick&dirty pocket web server