Skip to content

Conversation

fwcd
Copy link
Owner

@fwcd fwcd commented Jul 28, 2024

Fixes #564

This fixes a small regression introduced in #518 that caused the language server to crash if no Maven repository was found.

@fwcd fwcd added the maven Related to the language server's support for Maven projects label Jul 28, 2024
@fwcd fwcd added this to the 1.3.11 milestone Jul 28, 2024
@github-actions github-actions bot added the dependency resolution Related to the project dependency/standard library resolver label Jul 28, 2024
@fwcd fwcd merged commit 42c4a12 into main Jul 28, 2024
@fwcd fwcd deleted the fix-maven-repo-optional branch July 28, 2024 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependency resolution Related to the project dependency/standard library resolver maven Related to the language server's support for Maven projects
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Extension fails on Ubuntu devcontainer - couldn't create connection to server.
1 participant