Itamar 408f05bbb9 HackStudio: Decrease the maximal crash frequency of the server to 10 sec ...

The maximal crash frequency of the language server was previously 3
seconds, but in practice it was too high.
When working with larger projects the language server can get into a
"crash and respawn" loop that takes more than 3 seconds.

10 seconds seems like a reasonable threshold beyond which we no longer
attempt to respawn the server.

2021-12-03 15:38:21 +01:00

8.3 KiB

Raw Blame History

View Raw