atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Remove stdout handler before killing process

Open jmanuel1 opened this issue 1 year ago • 0 comments

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.

jmanuel1 avatar Mar 30 '24 21:03 jmanuel1