Re-vendor 2026-07-28 schema at spec ead35b59 (SubscriptionsListenResult) (#3006)

This commit is contained in:
Max 2026-06-27 10:15:34 +02:00 • committed by GitHub
commit e942d00b98
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -182,7 +182,7 @@ class Server(Generic[LifespanResultT]):
| None = None,
on_subscriptions_listen: Callable[
[ServerRequestContext[LifespanResultT], types.SubscriptionsListenRequestParams],
Awaitable[types.EmptyResult],
Awaitable[types.SubscriptionsListenResult],
]
| None = None,
on_list_prompts: Callable[
@ -264,7 +264,7 @@ class Server(Generic[LifespanResultT]):
| None = None,
on_subscriptions_listen: Callable[
[ServerRequestContext[LifespanResultT], types.SubscriptionsListenRequestParams],
Awaitable[types.EmptyResult],
Awaitable[types.SubscriptionsListenResult],
]
| None = None,
on_list_prompts: Callable[
@ -355,7 +355,7 @@ class Server(Generic[LifespanResultT]):
| None = None,
on_subscriptions_listen: Callable[
[ServerRequestContext[LifespanResultT], types.SubscriptionsListenRequestParams],
Awaitable[types.EmptyResult],
Awaitable[types.SubscriptionsListenResult],
]
| None = None,
on_list_prompts: Callable[