[plt-scheme] Refreshing servlet dependencies
I've noticed that if a servlet requires some module and then that module is
modified and a "Refresh Servlets" is performed, the changes to the module do
not take effect. Is there a way to accomplish this short of restarting the
web server? Is this the desired behavior? If so, could someone please
explain why?
NB: This has been brought up before:
http://list.cs.brown.edu/pipermail/plt-scheme/2002-August/000305.html
But this question wasn't addressed (or I'm blind).
Thanks,
David