Does `server.stop()` throw `Exception` or anything more specific than that?