Skip to content

Add more logging around watchman#132

Merged
mszabo-wikia merged 1 commit into
mainfrom
improve-debugging
May 7, 2026
Merged

Add more logging around watchman#132
mszabo-wikia merged 1 commit into
mainfrom
improve-debugging

Conversation

@mszabo-wikia
Copy link
Copy Markdown
Collaborator

Ensure we emit info logs for all file changes events we process, and simplify ownership of the watchman receiver on the server thread, complaining if the subscriber goes away.

Also remove the now-unnecessary stdio redirection for servers spawned by the LSP server.

Ensure we emit info logs for all file changes events we process,
and simplify ownership of the watchman receiver on the server thread,
complaining if the subscriber goes away.

Also remove the now-unnecessary stdio redirection for servers spawned
by the LSP server.
@mszabo-wikia mszabo-wikia merged commit 31d9616 into main May 7, 2026
2 checks passed
@mszabo-wikia mszabo-wikia deleted the improve-debugging branch May 7, 2026 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants