atom-language-idris
atom-language-idris copied to clipboard
Remove stdout handler before killing process
On switching between two project folders, the Idris process is killed. Idris prints something like "The file is closed" to stdout before terminating. At least on Windows, we will capture that and then fail to parse it as an SExp.