Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix determination of Liberty Workspace for non-default server.xml #201

Merged

Conversation

cherylking
Copy link
Member

@cherylking cherylking commented Aug 22, 2023

Fixes #200

Please note that I changed the yaml to build/test the 4q2023 branch since this PR is for that branch.

@cherylking cherylking force-pushed the determineLibertyWorkspaceCorrectly branch 2 times, most recently from c6ae3f4 to 6e35a4a Compare August 22, 2023 22:29
@cherylking cherylking force-pushed the determineLibertyWorkspaceCorrectly branch from 6e35a4a to 5c38464 Compare August 22, 2023 22:32
@cherylking cherylking requested a review from dshimo August 22, 2023 22:41
@cherylking
Copy link
Member Author

@dshimo For the helper methods in LibertyUtils, if there is more concise syntax for the places I am iterating through collections to check for matches, please add review comments and I will update. TIA

@cherylking cherylking force-pushed the determineLibertyWorkspaceCorrectly branch from b25691e to cf9b923 Compare August 23, 2023 16:40
@cherylking cherylking merged commit a18b656 into OpenLiberty:4q2023 Aug 23, 2023
dshimo pushed a commit that referenced this pull request Aug 25, 2023
* Fix determination of Liberty Workspace for non-default server.xml

* Clean up
dshimo pushed a commit that referenced this pull request Aug 28, 2023
* Fix determination of Liberty Workspace for non-default server.xml

* Clean up
dshimo added a commit that referenced this pull request Aug 31, 2023
* Fix determination of Liberty Workspace for non-default server.xml

* Clean up
evie-lau pushed a commit to evie-lau/liberty-language-server that referenced this pull request Sep 1, 2023
…enLiberty#201)

* Fix determination of Liberty Workspace for non-default server.xml

* Clean up
dshimo added a commit that referenced this pull request Oct 10, 2023
* Fix determination of Liberty Workspace for non-default server.xml

* Clean up
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