fix portal teardown (#2370)

This commit is contained in:
David Luzar 2020-11-09 15:34:26 +01:00 committed by GitHub
parent b06cf86811
commit 68aafe31f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -49,6 +49,8 @@ class Portal {
this.socket = null;
this.roomID = null;
this.roomKey = null;
this.socketInitialized = false;
this.broadcastedElementVersions = new Map();
}
isOpen() {