- From: Mark Friedman <mark@intraspect.com>
- Date: Wed, 26 Jun 1996 09:56:16 -0700
- To: Anselm Baird-Smith <abaird@w3.org>
- Cc: www-jigsaw@w3.org
Anselm Baird-Smith wrote: > > Lastly, what is the proper way to shut down a server? When I use the > > Admin "exit" link it doesn't seem to kill the process. And if I just kill > > the process manually (which seems to be my only choice with the proxy, > > since I can't access any non-proxy resources) it doesn't seem to flush > > the log buffers. I also worry about other cleanup activities not > > happening if I kill the process. > > The proper way is to GET /Admin/Exit. On Win* there is a bug due to > daemon thread that won't make the process exit, however, you should > still see the http://../ done message, at which point it is safe to > kill the server manually. Killing it by some other mean may be unsafe, > it is recommended not to do it ! Unfortunately, if I run the server as a proxy it doesn't seem to accept normal (i.e. non-proxy) gets. Thanks for all your help. -Mark
Received on Wednesday, 26 June 1996 12:54:52 UTC