(messageId: string)
| 730 | } |
| 731 | |
| 732 | private clearTrackedPendingDevToolsRunMetadata(messageId: string): void { |
| 733 | // StreamManager can emit stream-abort with an empty messageId during startup races. |
| 734 | // Treat that as "nothing to clear" instead of throwing so interruptStream remains reliable. |
| 735 | if (messageId.trim().length === 0) { |
| 736 | return; |
| 737 | } |
| 738 | |
| 739 | const pending = this.pendingDevToolsRunMetadataByMessageId.get(messageId); |
| 740 | if (!pending) { |
| 741 | return; |
| 742 | } |
| 743 | |
| 744 | this.pendingDevToolsRunMetadataByMessageId.delete(messageId); |
| 745 | this.devToolsService?.clearPendingRunMetadata(pending.workspaceId, pending.metadataId); |
| 746 | } |
| 747 | |
| 748 | private clearTrackedPendingDevToolsRunMetadataById( |
| 749 | workspaceId: string, |
no test coverage detected