From 6703a221f4363db7238250cc7606057e61171bb4 Mon Sep 17 00:00:00 2001 From: Sheng Chen Date: Fri, 4 Aug 2023 16:12:58 +0800 Subject: [PATCH] Do not show PROBLEMS panel for build server project (#1372) --- src/build.ts | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/build.ts b/src/build.ts index 698dc65a..ebf38e7e 100644 --- a/src/build.ts +++ b/src/build.ts @@ -18,6 +18,7 @@ enum CompileWorkspaceStatus { SUCCEED = 1, WITHERROR = 2, CANCELLED = 3, + GRADLE_BS_COMPILATION_ERROR = 100, } export interface BuildParams { @@ -77,7 +78,8 @@ async function handleBuildFailure(operationId: string, err: any, progressReporte sendOperationError(operationId, "build", error); const errorDiagnostics = traceErrorTypes(operationId); if (!onBuildFailureProceed && err) { - if (errorDiagnostics) { + // build failure information is not displayed in PROBLEMS panel for build server project. + if (errorDiagnostics && err !== CompileWorkspaceStatus.GRADLE_BS_COMPILATION_ERROR) { vscode.commands.executeCommand("workbench.actions.view.problems"); }