Close websocket on shutdown of (non-remote) server