Skip to content

Conversation

Yuan325
Copy link
Contributor

@Yuan325 Yuan325 commented Apr 4, 2025

variable id is used in metrics to record the session id.

json.Number will throw an error when casting to string with .(string).

@Yuan325 Yuan325 requested a review from a team as a code owner April 4, 2025 01:53
@Yuan325 Yuan325 merged commit 1503aea into mcp Apr 4, 2025
6 checks passed
@Yuan325 Yuan325 deleted the fix branch April 4, 2025 05:26
kurtisvg pushed a commit that referenced this pull request Apr 4, 2025
variable `id` is used in metrics to record the session id.

`json.Number` will throw an error when casting to string with
`.(string)`.
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