LSP: TLAPS integration makes the IDE crash sometimes.

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

348 stars 31 forks source link

LSP: TLAPS integration makes the IDE crash sometimes. #313

Closed kape1395 closed 8 months ago

kape1395 commented 10 months ago

This is related to https://github.com/tlaplus/tlapm/pull/93.

When working with the TLAPS for a longer time, the IDE crashes. Probably because of OOM. The decorations may have to be cleared when refreshing them. Still trying to figure it out.

That's a reminder for myself.

kape1395 commented 8 months ago

It was resolved in PR https://github.com/tlaplus/tlapm/pull/93. Backend processes are now terminated gracefully. The crashes were due to process leaks.