dgaudet Sun, 29 Jun 1997 19:01:27 -0700 (PDT)
Synopsis: Some server process won't die State-Changed-From-To: feedback-closed State-Changed-By: dgaudet State-Changed-When: Sun Jun 29 19:01:24 PDT 1997 State-Changed-Why: Assuming killing the server properly solves the problem.
Dean
