Fix TaskDto conversion in $fetchTasks (#9740)

Signed-off-by: Thomas Mäder <tmader@redhat.com>
eclipse-theia · Jul 26, 2021 · 6550934 · 6550934
1 parent 33dea9b
commit 6550934
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/packages/plugin-ext/src/main/browser/tasks-main.ts b/packages/plugin-ext/src/main/browser/tasks-main.ts
@@ -137,14 +137,7 @@ export class TasksMainImpl implements TasksMain, Disposable {
         for (const tasks of [configured, provided]) {
             for (const task of tasks) {
                 if (!taskType || (!!this.taskDefinitionRegistry.getDefinition(task) ? task._source === taskType : task.type === taskType)) {
-                    const { type, label, _scope, _source, ...properties } = task;
-                    const dto: TaskDto = { type, label, scope: _scope, source: _source };
-                    for (const key in properties) {
-                        if (properties.hasOwnProperty(key)) {
-                            dto[key] = properties[key];
-                        }
-                    }
-                    result.push(dto);
+                    result.push(this.fromTaskConfiguration(task));
                 }
             }
         }