Alex Hoppen 2b3d733af6 Restart a BSP server after it has crashed ...

If a BSP server crashes, we should try to relaunch it. Use a similar relaunch logic as the one we use for `clangd`: Try restarting immediately unless the BSP server has crashed within the last 30 seconds, in which case we delay the restart by 10s.

rdar://136311009
Fixes #1686

2024-09-25 13:57:43 -07:00

3.0 KiB

Raw Permalink Blame History

View Raw