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
This commit is contained in:
Lennart Kats 2015-12-21 19:03:07 +00:00
parent 0bc0841deb
commit 8f4a794153

View File

@ -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",