From 95d3d3e4a4c82e891545056d29f62347bfa74719 Mon Sep 17 00:00:00 2001 From: Haneef Mohammed Date: Sun, 28 Aug 2022 11:36:50 -0700 Subject: [PATCH] lint error --- src/gdb.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gdb.ts b/src/gdb.ts index 8238e8ce..8e8e166c 100755 --- a/src/gdb.ts +++ b/src/gdb.ts @@ -517,7 +517,7 @@ export class GDBDebugSession extends LoggingDebugSession { initMatch = new RegExp(this.args.overrideGDBServerStartedRegex, 'i'); } if (consolePort === undefined) { - this.launchErrorResponse(response, 107,'GDB Server Console tcp port is undefined.'); + this.launchErrorResponse(response, 107, 'GDB Server Console tcp port is undefined.'); return doResolve(); } }