pass the workspace and the language server name to the daemon #2
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.
Depends on
#4 signaling channel
poc/language-server-supervisor
Reference: poc/language-server-supervisor#2
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 name (executable) should be passed to the daeomen so that it can run the langugage server in the good directory.
pass the workspace to the daemonto pass the workspace and the language server name to the daemon