if the server is already dead then trying to kill it will cause an exception to be thrown. we should handle the exception gracefully.
Log in to post a comment.
