[plt-scheme] reloading servlets and modules

At Mon, 16 Dec 2002 15:31:38 -0500 (EST), Doug Orleans wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> Paul Graunke writes:
>  > Use the development environment. It avoids the need to use the
>  > refresh-servlets URL.
> 
> I assume you mean the "Execute" button in DrScheme.  How is this
> different from restarting the server?

In theory it's the same thing; in practice it should be easier to use.

Robby