[plt-scheme] web-server reload of libraries
Hi all,
Is there an interface for making the web server reload libraries 
included by servlets, without killing and restarting the server?
I've noticed that loading http://localhost/conf/refresh-servlets 
doesn't affect parts of servlets that I've broken out into separate 
modules and 'require'd from there, and this is one of those things I 
run into rarely enough that I sometimes forget it happens.
Thanks,
jmj
--
The most damaging phrase in the language is, "We've always done it that 
way."
		-- Admiral Grace Hopper