diff --git a/src/menus/pause_screen.js b/src/menus/pause_screen.js index d6091b0f..97f8706b 100644 --- a/src/menus/pause_screen.js +++ b/src/menus/pause_screen.js @@ -71,7 +71,7 @@ class PauseScreen extends LitElement { openURL('https://discord.gg/4Ucm684Fq3')}> showModal(document.getElementById('options-screen'))}> - { + { disconnect() }}> diff --git a/src/utils.js b/src/utils.js index 4d989f59..682d40fd 100644 --- a/src/utils.js +++ b/src/utils.js @@ -153,8 +153,12 @@ export const disconnect = async () => { if (window.localServer) { await saveWorld() localServer.quit() + } else { + // workaround bot.end doesn't end the socket and emit end event + bot.end() + bot._client.socket.end() } - bot._client.emit('end') + bot._client.emit('end', 'You left the server') miscUiState.gameLoaded = false }