Merge pull request #170 from jackolantern/fix-restart-idris

Idris now restarts if stopped and a command is run.
idris-hackers · Apr 19, 2017 · 764345c · 764345c
2 parents cc110c0 + 2bebda8
commit 764345c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/idris-ide-mode.coffee b/lib/idris-ide-mode.coffee
@@ -79,7 +79,7 @@ class IdrisIdeMode extends EventEmitter
       atom.notifications.addError short, detail: long
 
   running: ->
-    !!@process
+    !!@process && !@process.killed
 
   stdout: (data) =>
     @buffer += data

diff --git a/lib/idris-model.coffee b/lib/idris-model.coffee
@@ -13,7 +13,7 @@ class IdrisModel
   oldCompilerOptions: { }
 
   ideMode: (compilerOptions) ->
-    if @ideModeRef && !JS.objectEqual(@oldCompilerOptions, compilerOptions)
+    if @ideModeRef && (!JS.objectEqual(@oldCompilerOptions, compilerOptions) || not @ideModeRef.running())
       @ideModeRef.process.removeAllListeners()
       @ideModeRef.stop()
       @ideModeRef = null