Definitely don't panic. Double stopping a server is not an unrecoverable situation. Also, I don't think we need a return value -- especially since it changes the API.