[plt-scheme] web-server reconfiguration

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Apr 20 10:17:47 EDT 2005

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.

Posted on the users mailing list.