Read marker severities more efficiently

alexr00 · alexr00 · commit 8feef7f3f32c · 2021-10-27T16:04:11.000+02:00
diff --git a/src/vs/workbench/contrib/debug/browser/debugTaskRunner.ts b/src/vs/workbench/contrib/debug/browser/debugTaskRunner.ts
@@ -64,7 +64,7 @@ export class DebugTaskRunner {
 				return TaskRunResult.Failure;
 			}
 
-			const errorCount = taskId ? this.markerService.read().filter(marker => marker.severity === MarkerSeverity.Error).length : 0;
+			const errorCount = taskId ? this.markerService.read({ severities: MarkerSeverity.Error, take: 2 }).length : 0;
 			const successExitCode = taskSummary && taskSummary.exitCode === 0;
 			const failureExitCode = taskSummary && taskSummary.exitCode !== 0;
 			const onTaskErrors = this.configurationService.getValue<IDebugConfiguration>('debug').onTaskErrors;

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ export class DebugTaskRunner {`
`64`	`64`	`return TaskRunResult.Failure;`
`65`	`65`	`}`
`66`	`66`
`67`		`- const errorCount = taskId ? this.markerService.read().filter(marker => marker.severity === MarkerSeverity.Error).length : 0;`
	`67`	`+ const errorCount = taskId ? this.markerService.read({ severities: MarkerSeverity.Error, take: 2 }).length : 0;`
`68`	`68`	`const successExitCode = taskSummary && taskSummary.exitCode === 0;`
`69`	`69`	`const failureExitCode = taskSummary && taskSummary.exitCode !== 0;`
`70`	`70`	`const onTaskErrors = this.configurationService.getValue<IDebugConfiguration>('debug').onTaskErrors;`