Synopsis: Some server process won't die State-Changed-From-To: open-feedback State-Changed-By: marc State-Changed-When: Sat May 10 15:07:04 PDT 1997 State-Changed-Why: Awaiting response from user about what happens if they kill the server the proper way...
