Close connections properly
parent
0cef714198
commit
bb36f2e6bc
|
@ -46,8 +46,12 @@ export class CollabState {
|
||||||
}
|
}
|
||||||
|
|
||||||
stop() {
|
stop() {
|
||||||
this.collabProvider.disconnect();
|
// this.collabProvider.disconnect();
|
||||||
|
console.log("[COLLAB] Destroying collab provider");
|
||||||
this.collabProvider.destroy();
|
this.collabProvider.destroy();
|
||||||
|
// For whatever reason, destroy() doesn't properly clean up everything so we need to help a bit
|
||||||
|
this.collabProvider.configuration.websocketProvider.webSocket = null;
|
||||||
|
this.collabProvider.configuration.websocketProvider.destroy();
|
||||||
}
|
}
|
||||||
|
|
||||||
collabExtension(): Extension {
|
collabExtension(): Extension {
|
||||||
|
|
Loading…
Reference in New Issue