[plt-scheme] web-server reconfiguration

On Apr 20, 2005, at 10:10 AM, Geoffrey Knauth wrote:

>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> On Apr 20, 2005, at 09:33, Matthias Felleisen wrote:
>> The configuration dialog of the server was at some point supposed to 
>> do just this kind of thing for you. Have you tried? -- Matthias
>
> I did.  It almost seemed to work.  This is what happened.
> ...
> [10] Maybe this is related.  To restart the web server, I've been 
> doing this:
>   ^C  (wait a few seconds)
>   ^C  (ok, that did it)
>   $PLTHOME/bin/web-server


In principle, the server should have saved things in time. Argh.