made the docs of shutdown_server more clear