Skip to content

Prefer IPv4 in JVM launch args for JDTLS#273

Merged
playdohface merged 1 commit into
zed-extensions:mainfrom
playdohface:260-prefer-ipv4-by-default
Jun 16, 2026
Merged

Prefer IPv4 in JVM launch args for JDTLS#273
playdohface merged 1 commit into
zed-extensions:mainfrom
playdohface:260-prefer-ipv4-by-default

Conversation

@playdohface

Copy link
Copy Markdown
Collaborator

Relates to #260

I don't have Windows to test on, so I can not reproduce the original issue but this effectively makes the fix from the issue the default

@tartarughina

Copy link
Copy Markdown
Collaborator

Thanks for thinking on the user perspective when adding this one

@playdohface playdohface merged commit b6b8f9a into zed-extensions:main Jun 16, 2026
7 checks passed
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.

2 participants