debug: mark terminal as free when the associated debug session ends (#115573)

This commit is contained in:
Connor Peet
2021-02-02 08:27:37 -08:00
committed by GitHub
parent 6662709200
commit 3088c27fbd
11 changed files with 37 additions and 24 deletions

View File

@@ -1681,7 +1681,7 @@ export type IDebugSessionDto = IDebugSessionFullDto | DebugSessionUUID;
export interface ExtHostDebugServiceShape {
$substituteVariables(folder: UriComponents | undefined, config: IConfig): Promise<IConfig>;
$runInTerminal(args: DebugProtocol.RunInTerminalRequestArguments): Promise<number | undefined>;
$runInTerminal(args: DebugProtocol.RunInTerminalRequestArguments, sessionId: string): Promise<number | undefined>;
$startDASession(handle: number, session: IDebugSessionDto): Promise<void>;
$stopDASession(handle: number): Promise<void>;
$sendDAMessage(handle: number, message: DebugProtocol.ProtocolMessage): void;