(or just eliminate this, since in the current code stopping the server is a synchronous (not async) process.