Skip to content

Always log language server PID#78722

Merged
dibarbet merged 1 commit intodotnet:mainfrom
dibarbet:always_log_pid
May 27, 2025
Merged

Always log language server PID#78722
dibarbet merged 1 commit intodotnet:mainfrom
dibarbet:always_log_pid

Conversation

@dibarbet
Copy link
Member

Helpful for trace collection. No need to hide this

@dibarbet dibarbet requested a review from a team as a code owner May 27, 2025 20:56
@dibarbet dibarbet changed the title Always log PID Always log language server PID May 27, 2025
@dibarbet dibarbet enabled auto-merge May 27, 2025 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants