Jay McCarthy 9e20ad7c46 In response to the tutorial thread, I've merge in plai/web and instaservlet into the main repository. web-server/servlet-env can now provide most of the instaservlet functionality. web-server/insta provides the functionality of plai/web, inconcert with web-server/servlet-env. managers/lru is more useful with a default threshold-based manager. The default error handling is that of plai/web. ... svn: r11246		2008-08-14 19:45:35 +00:00
..
conf	Adding collect-garbage	2005-08-24 17:20:56 +00:00
htdocs	In response to the tutorial thread, I've merge in plai/web and instaservlet into the main repository. web-server/servlet-env can now provide most of the instaservlet functionality. web-server/insta provides the functionality of plai/web, inconcert with web-server/servlet-env. managers/lru is more useful with a default threshold-based manager. The default error handling is that of plai/web.	2008-08-14 19:45:35 +00:00
servlets	* Newlines at EOFs	2008-07-09 07:18:06 +00:00
configuration-table.ss	undoing matthew's accidental commit	2008-02-19 16:11:57 +00:00
mime.types	supporting external mime-types file	2006-01-21 19:10:11 +00:00
passwords	passwords tests	2007-06-11 22:29:24 +00:00