diff --git a/services/web/frontend/js/ide/editor/Document.js b/services/web/frontend/js/ide/editor/Document.js
index 2a7f5dd43f..e9568d75f1 100644
--- a/services/web/frontend/js/ide/editor/Document.js
+++ b/services/web/frontend/js/ide/editor/Document.js
@@ -540,6 +540,9 @@ export default (Document = (function() {
       if (callback == null) {
         callback = function(error) {}
       }
+      this.ide.pushEvent('leaveDoc', {
+        doc_id: this.doc_id
+      })
       sl_console.log('[_leaveDoc] Sending leaveDoc request')
       return this.ide.socket.emit('leaveDoc', this.doc_id, error => {
         if (error != null) {