search

idris-hackers / atom-language-idris

A Idris Mode for Atom.io
MIT License
100 stars 24 forks source link

Remove stdout handler before killing process #262

Closed jmanuel1 closed 3 months ago

jmanuel1 commented 7 months ago

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 commented 3 months ago

@melted Does this PR look good to you?

melted commented 3 months ago

Looks good!