Whenever the server is shutdown (e.g. CTRL-C), are all WebSocket connections shutdown as well automatically? Does the upgrader notice a server shutdown and subsequently closes all connections, waiting for all to be finished, or is this something I have to check manually?