Add info about processId and terminalId to TaskExitedEvent

Signed-off-by: Roman Nikitenko <[email protected]>
eclipse-theia · Jan 6, 2020 · df9c87b · df9c87b
1 parent c4b3e2a
commit df9c87b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/packages/task/src/common/task-protocol.ts b/packages/task/src/common/task-protocol.ts
@@ -144,6 +144,9 @@ export interface TaskExitedEvent {
     readonly signal?: string;
 
     readonly config?: TaskConfiguration;
+
+    readonly terminalId?: number;
+    readonly processId?: number;
 }
 
 export interface TaskOutputEvent {

diff --git a/packages/task/src/node/process/process-task.ts b/packages/task/src/node/process/process-task.ts
@@ -115,7 +115,9 @@ export class ProcessTask extends Task {
             ctx: this.context,
             code: evt.code,
             signal: evt.signal,
-            config: this.options.config
+            config: this.options.config,
+            terminalId: this.process.id,
+            processId: this.process.id
         };
     }