Does the closing the server also cleanly close all the websocket connections?