Skip to content

Comments

Add a debug flag to allow remote debugging#524

Merged
aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg:aeisenberg/debug-flag
Aug 6, 2020
Merged

Add a debug flag to allow remote debugging#524
aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg:aeisenberg/debug-flag

Conversation

@aeisenberg
Copy link
Contributor

With this flag on, it is possible to remote-debug the language server in a java debugger.

Replace this with a description of the changes your pull request makes.

Checklist

  • [n/a] CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • [n/a] Issues have been created for any UI or other user-facing changes made by this pull request.
  • [n/a] @github/docs-content-dsp has been cc'd in all issues for UI or other user-facing changes made by this pull request.

adityasharad
adityasharad previously approved these changes Aug 6, 2020
Copy link
Contributor

@adityasharad adityasharad left a comment

Choose a reason for hiding this comment

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

Nice. Minor suggestions only.

With this flag on, it is possible to remote-debug the
language server in a java debugger.
@aeisenberg aeisenberg merged commit 648bf4b into github:main Aug 6, 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.

2 participants