(task: Task)
| 852 | }; |
| 853 | |
| 854 | const emitTaskStatus = async (task: Task) => { |
| 855 | // Best-effort; task status notifications are optional. |
| 856 | try { |
| 857 | const notification: ClientNotification = { |
| 858 | method: "notifications/tasks/status", |
| 859 | params: task, |
| 860 | } as unknown as ClientNotification; |
| 861 | await client.notification(notification); |
| 862 | pushHistory(notification); |
| 863 | } catch (e) { |
| 864 | console.warn("Failed to send notifications/tasks/status", e); |
| 865 | } |
| 866 | }; |
| 867 | |
| 868 | const upsertReceiverTask = async (task: Task) => { |
| 869 | // Update task record and emit status notification. |
no test coverage detected