Try to reconnect when the user types in the editor.

2026-05-30 20:31:34 +02:00 · 2015-09-28 15:45:14 +01:00
parent 54de12d908
commit b393de1450
1 changed files with 2 additions and 0 deletions
--- a/services/web/public/coffee/ide/connection/ConnectionManager.coffee
+++ b/services/web/public/coffee/ide/connection/ConnectionManager.coffee
@@ -21,6 +21,8 @@ define [], () ->

 			@$scope.$on "editor:change", () =>
 				@lastUpdated = new Date()
+				if !@connected
+					@tryReconnect()

 			@ide.socket = io.connect null,
 				reconnect: false