fix #3436: disconnect debug sessions if they cannot be gracefully ter…

…minated

Signed-off-by: Anton Kosyakov <anton.kosyakov@typefox.io>

packages/debug/src/browser/debug-session.tsx

@@ -278,10 +278,28 @@ export class DebugSession implements CompositeTreeElement {
         if (!this.terminated && this.capabilities.supportsTerminateRequest && this.configuration.request === 'launch') {
             this.terminated = true;
             await this.connection.sendRequest('terminate', { restart });
+            if (!await this.exited(1000)) {
+                await this.disconnect(restart);
+            }
         } else {
-            await this.sendRequest('disconnect', { restart });
+            await this.disconnect(restart);
         }
     }
+    protected exited(timeout: number): Promise<boolean> {
+        return new Promise<boolean>(resolve => {
+            const listener = this.on('exited', () => {
+                listener.dispose();
+                resolve(true);
+            });
+            setTimeout(() => {
+                listener.dispose();
+                resolve(false);
+            }, timeout);
+        });
+    }
+    protected async disconnect(restart?: boolean): Promise<void> {
+        await this.sendRequest('disconnect', { restart });
+    }
 
     async restart(): Promise<boolean> {
         if (this.capabilities.supportsRestartRequest) {