[plt-scheme] web-server reload of libraries

From: Jordan Johnson (jorjohns at cs.indiana.edu)
Date: Mon Jan 10 21:39:09 EST 2005

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.


The most damaging phrase in the language is, "We've always done it that 
		-- Admiral Grace Hopper

Posted on the users mailing list.