8000 improvement: save mcp port by kasiaMarek · Pull Request #7485 · scalameta/metals · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

improvement: save mcp port #7485

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

Merged
merged 3 commits into from
Jun 2, 2025
Merged

Conversation

kasiaMarek
Copy link
Member

No description provided.

@kasiaMarek kasiaMarek requested a review from tgodzik May 19, 2025 08:23
@kasiaMarek
Copy link
Member Author

Maybe I would be better to save this in some json file inside .metals, so other tools and people can read it and control it if needed. @keynmol, would that be enough for your mcp proxy to work?

@keynmol
Copy link
Contributor
keynmol commented May 19, 2025

@kasiaMarek Not having an sqlite dependency would definitely make it easier to wrap some existing mcp-proxy tool, yes.

That said, an ideal future solution would just use metals CLI itself as the mcp-proxy – so it will have access to sqlite, making this a bit easier.

Copy link
Contributor
@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

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

Maybe, .metals/mcp_port.json then?

Copy link
Contributor
@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

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

LGTM from me, @keynmol what do you think?

@keynmol
Copy link
Contributor
keynmol commented May 20, 2025

I think that's fine, the bigger limitation comes from how clients actually launch servers (from root, not from workspace), but Metals can't really solve this.

@kasiaMarek kasiaMarek requested a review from tgodzik May 29, 2025 15:12
Copy link
Contributor
@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

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

Just one minor question, otherwise LGTM

@kasiaMarek kasiaMarek merged commit 49921cc into scalameta:main Jun 2, 2025
24 of 25 checks passed
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.

3 participants
0