From 8f4a794153eb3e5a62907a36a2bf3483e438b61a Mon Sep 17 00:00:00 2001
From: Lennart Kats <lclkats@gmail.com>
Date: Mon, 21 Dec 2015 19:03:07 +0000
Subject: [PATCH] Restart server if it no longer runs

This can happen when a collaborator was running it and left,
in which case we don't get the "exit" event
---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 359190b2..7b56861f 100644
--- a/package.json
+++ b/package.json
@@ -90,7 +90,7 @@
         "c9.ide.imgeditor": "#612e75ef4f",
         "c9.ide.immediate": "#a962119bec",
         "c9.ide.installer": "#0fde9f0067",
-        "c9.ide.language.python": "#1b88268f0e",
+        "c9.ide.language.python": "#04a482eb3a",
         "c9.ide.mount": "#b9a5a2d45c",
         "c9.ide.navigate": "#38ae100ea1",
         "c9.ide.newresource": "#981a408a7b",