Open rvion opened 7 years ago
Do you ever close pscid? As I recall both attempt to connect to the same psc-ide-server but I think pscid maybe always closes the server on exit (while the atom plugin only closes it if it was the one who started it)
I usually do not, but I may be closing it from time to time. I'll pay more attention to check if I notice a correlation.
I wrote below a small scenario where the problem does not occurs, but It might also just be that it does not happens each time.
both attempt to connect to the same psc-ide-server but I think pscid maybe always closes the server on exit (while the atom plugin only closes it if it was the one who started it)
could psc-ide have a close-if-no-consumers action instead that both pscid and atom-ide-purescript ?
also, I have the impression that atom notification and/or pscid message about "starting" a pscid-server are not quite correct:
1: start pscid
pscid
Starting psc-ide-server
Watching /Users/rvion/dev/poney-loving-website on port 15859
2: atom: ide purescript: restart psc ide
3: restart pscid
pscid
Starting psc-ide-server
Watching /Users/rvion/dev/poney-loving-website on port 15194
📝 here, pscid reuse the server started by atom-ide-server
4: I close pscid, atom-ide-purescript keeps working
I always run pscid along atom but I get a lot of errors:
case 1: atom errors
I get ths in atom
when I "ide purescript: restart psc ide", I then get
then it ends up working
case 2: pscid crash
/cc @kRITZCREEK