livebook-dev/livebook
1
1
Fork 0
mirror of https://github.com/livebook-dev/livebook.git synced 2025-02-22 22:05:03 +08:00
Code Issues Projects Releases Packages Wiki Activity

Leave JS output channel only if it exists

Browse source
This commit is contained in:
Jonatan Kłosko 2022-02-10 11:25:37 +01:00
parent 7f19afe7af
commit 53aea7af6e
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
assets/js/js_output/index.js
View file

@ -241,9 +241,11 @@ function getChannel(sessionId, { create = true } = {}) {
* Leaves the JS outputs channel tied to the current session. * Leaves the JS outputs channel tied to the current session.
*/ */
export function leaveChannel() { export function leaveChannel() {
if (channel) {
channel.leave(); channel.leave();
channel = null; channel = null;
socket.disconnect(); socket.disconnect();
}
} }
/** /**