Skip to content

Remove debug_mode field from LanguageServerInstance#664

Merged
davidanthoff merged 2 commits into
julia-vscode:masterfrom
non-Jedi:remove-debug-mode
May 6, 2020
Merged

Remove debug_mode field from LanguageServerInstance#664
davidanthoff merged 2 commits into
julia-vscode:masterfrom
non-Jedi:remove-debug-mode

Conversation

@non-Jedi

@non-Jedi non-Jedi commented May 5, 2020

Copy link
Copy Markdown
Member

There are no longer any uses of this field inside
LanguageServer.jl. If the vs-code extension still sends
"julia/toggle-log" methods, it should be removed since it functionally
changes nothing currently.

Closes #421

I couldn't get the tests to run locally, so I'm depending on CI to see if anything is broken.

@non-Jedi

non-Jedi commented May 5, 2020

Copy link
Copy Markdown
Member Author

Note that this requires a major version bump since the signature of the single documented, exported symbol changed.

davidanthoff
davidanthoff previously approved these changes May 6, 2020

@davidanthoff davidanthoff left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm in favor! @ZacLN, are you also on board?

We should just use @debug for any debug output, and then use the normal logging methods of displaying that if we want it.

@davidanthoff

Copy link
Copy Markdown
Member

@non-Jedi, can you resolve the merge conflict?

non-Jedi added 2 commits May 6, 2020 09:13
There are no longer any uses of this field inside
LanguageServer.jl. If the vs-code extension still sends
"julia/toggle-log" methods, it should be removed since it functionally
changes nothing currently.

Closes julia-vscode#421
@non-Jedi

non-Jedi commented May 6, 2020

Copy link
Copy Markdown
Member Author

Rebased and force-pushed to resolve merge conflict.

@davidanthoff
davidanthoff merged commit bbebc48 into julia-vscode:master May 6, 2020
@non-Jedi non-Jedi mentioned this pull request May 8, 2020
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.

Log debug messages with @debug instead of with server.debug_mode && @info

2 participants