store workspace+language server state #3
Labels
No Label
ci
priority
critical
priority
high
priority
low
status
abandonned
status
accepted
status
help_wanted
status
in_progress
status
refused
status
review_needed
type
bug
type
discussion
type
enhancement
type
question
type
refactor
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: poc/language-server-supervisor#3
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The workspace and language server state will allow to continue using a running language server, it should therefore be stored.
The commande could something like the following :
There could also be a
language-server-supervisor --all to see all running language servers
. (healthcheck
?)