Make end call tool can be cancelled

2026-08-12 09:18:40 +08:00
parent fc026e765e
commit d0bb5b3868
15 changed files with 350 additions and 48 deletions
@@ -58,7 +58,12 @@ class CallEndPort(Protocol):
    @property
    def ending(self) -> bool: ...

-    def begin(self, reason: str) -> None: ...
+    @property
+    def accepts_input(self) -> bool: ...
+
+    def begin(self, reason: str, *, interruptible: bool = False) -> None: ...
+
+    def cancel_pending_end(self) -> bool: ...

    def begin_response(self) -> None: ...