From 0b94c89990daf35d4db0c8704eb317777f5d67cd Mon Sep 17 00:00:00 2001 From: Brian Gough Date: Mon, 14 Dec 2020 09:28:51 +0000 Subject: [PATCH] Merge pull request #3482 from overleaf/jpa-cleanup-on-epoch-mismatch [frontend] on editorOpenDocEpoch mismatch, cleanup the old doc GitOrigin-RevId: b07beb33a17d218d7aa35961dee5e215bd82c315 --- services/web/frontend/js/ide/editor/EditorManager.js | 1 + 1 file changed, 1 insertion(+) diff --git a/services/web/frontend/js/ide/editor/EditorManager.js b/services/web/frontend/js/ide/editor/EditorManager.js index 0807f2c61a..378d7b7f77 100644 --- a/services/web/frontend/js/ide/editor/EditorManager.js +++ b/services/web/frontend/js/ide/editor/EditorManager.js @@ -273,6 +273,7 @@ export default (EditorManager = (function() { this.editorOpenDocEpoch } vs ${editorOpenDocEpoch}` ) + new_sharejs_doc.leaveAndCleanUp() return callback(new Error('another document was loaded')) } this._bindToDocumentEvents(doc, new_sharejs_doc)