Try to reconnect when the editor cursor is moved.

2026-05-31 12:51:35 +02:00 · 2015-09-28 16:18:09 +01:00
parent b393de1450
commit 8bd83f64e0
1 changed files with 4 additions and 0 deletions
--- a/services/web/public/coffee/ide/connection/ConnectionManager.coffee
+++ b/services/web/public/coffee/ide/connection/ConnectionManager.coffee
@@ -24,6 +24,10 @@ define [], () ->
 				if !@connected
 					@tryReconnect()

+			@$scope.$on 'cursor:editor:update', () =>
+				if !@connected
+					@tryReconnect()
+
 			@ide.socket = io.connect null,
 				reconnect: false
 				"force new connection": true