From a43ec044bb0a2cdb9491559e3c4c11e5749fb745 Mon Sep 17 00:00:00 2001 From: Richard Willis Date: Tue, 19 May 2020 18:48:56 +0100 Subject: [PATCH] foo --- extension/src/tasks.ts | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/extension/src/tasks.ts b/extension/src/tasks.ts index 22a5eebf2..7ee57df0d 100644 --- a/extension/src/tasks.ts +++ b/extension/src/tasks.ts @@ -549,22 +549,13 @@ export function buildGradleServerTask( VSCODE_JAVA_HOME: javaHome, }); } - const task = new vscode.Task( + return new vscode.Task( definition, vscode.TaskScope.Workspace, taskName, taskType, new vscode.ProcessExecution(cmd, args, { cwd, env }) ); - // task.isBackground = true; // this hides errors on task start - task.presentationOptions = { - reveal: vscode.TaskRevealKind.Never, - focus: false, - echo: true, - clear: false, - panel: vscode.TaskPanelKind.Shared, - }; - return task; } export function restartTask(task: vscode.Task): void {