Correct closing web socket connections in case of fatal server stopping