Jay McCarthy f533538e28 Correct server shutdown code ... svn: r11264		2008-08-14 22:34:19 +00:00
..
bench	* Newlines at EOFs	2008-07-09 07:18:06 +00:00
configuration	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
default-web-root	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
dispatchers	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
insta	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
lang	Removing the hack of freevar.ss in preference for the proper usage of syntax/free-vars. This should also decrease the size of closures, because it is accurate, whereas the other was not.	2008-08-13 18:36:51 +00:00
managers	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
private	* Newlines at EOFs	2008-07-09 07:18:06 +00:00
scribblings	Just in case	2008-08-14 22:30:30 +00:00
servlet	make all files terminate with a newline	2008-02-24 21:27:36 +00:00
tests	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
gui.ss	make all files terminate with a newline	2008-02-24 21:27:36 +00:00
info.ss	Adding the tutorial.	2008-08-14 22:27:57 +00:00
lang.ss	Removing the hack of freevar.ss in preference for the proper usage of syntax/free-vars. This should also decrease the size of closures, because it is accurate, whereas the other was not.	2008-08-13 18:36:51 +00:00
main.ss	make all files terminate with a newline	2008-02-24 21:27:36 +00:00
run.ss	* Newlines at EOFs	2008-07-09 07:18:06 +00:00
servlet-env.ss	Correct server shutdown code	2008-08-14 22:34:19 +00:00
servlet.ss	make all files terminate with a newline	2008-02-24 21:27:36 +00:00
web-config-sig.ss	make all files terminate with a newline	2008-02-24 21:27:36 +00:00
web-config-unit.ss	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
web-server-sig.ss	make all files terminate with a newline	2008-02-24 21:27:36 +00:00
web-server-unit.ss	* Newlines at EOFs	2008-07-09 07:18:06 +00:00
web-server.ss	make all files terminate with a newline	2008-02-24 21:27:36 +00:00