Shutdown server if parent PID is terminated - Githubissues

alephium / ralph-lsp

Ralph language server

7 stars 1 forks source link

Shutdown server if parent PID is terminated #320

Closed simerplaha closed 1 month ago

simerplaha commented 1 month ago

Resolves #310.
Parent issue #37.