From b393de1450afaecad69d7ea3443d7822a7bfb41d Mon Sep 17 00:00:00 2001
From: Shane Kilkelly <shane@kilkelly.me>
Date: Mon, 28 Sep 2015 15:45:14 +0100
Subject: [PATCH] Try to reconnect when the user types in the editor.

---
 .../web/public/coffee/ide/connection/ConnectionManager.coffee   | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/services/web/public/coffee/ide/connection/ConnectionManager.coffee b/services/web/public/coffee/ide/connection/ConnectionManager.coffee
index 9aa0513b09..8505663c41 100644
--- 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