214
215
holdShellUntilCommandFinishes(shell: IManagedShell): void {
217
return;
218
}
220
>
const store = new DisposableStore();
221
>
const release = () => {
222
this._busyShellIds.delete(shell.id);
223
this._heldShellReleaseListeners.delete(shell.id);
224
store.dispose();
225
};
226
>
store.add(this._terminalManager.onCommandFinished(shell.terminalUri, release));
copilotShellTools.ts
227
>
store.add(this._terminalManager.onExit(shell.terminalUri, release));
228
>
this._heldShellReleaseListeners.set(shell.id, store);
229
>
}
230
231
private _trackToolCall(toolCallId: string, shellId: string): void {