Merge branch 'main' into main

This commit is contained in:
s1p 2025-09-08 10:05:53 +08:00 • committed by GitHub
commit d2d749ca4d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -542,7 +542,7 @@ export const createServer = () => {
return { tools };
});
server.setRequestHandler(CallToolRequestSchema, async (request) => {
server.setRequestHandler(CallToolRequestSchema, async (request,extra) => {
const { name, arguments: args } = request.params;
if (name === ToolName.ECHO) {
@ -584,7 +584,7 @@ export const createServer = () => {
total: steps,
progressToken,
},
});
},{relatedRequestId: extra.requestId});
}
}