Added docstring to server.launch_exception