From 5764b82fa728e34c370ee731ccf13de0e645bbf4 Mon Sep 17 00:00:00 2001 From: BoykoAlex Date: Thu, 11 Jun 2020 14:48:09 -0400 Subject: [PATCH] Remove console.log() call --- vscode-extensions/commons-vscode/src/launch-util.ts | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/vscode-extensions/commons-vscode/src/launch-util.ts b/vscode-extensions/commons-vscode/src/launch-util.ts index 0fe501c2b..254c95a12 100644 --- a/vscode-extensions/commons-vscode/src/launch-util.ts +++ b/vscode-extensions/commons-vscode/src/launch-util.ts @@ -69,9 +69,7 @@ function isCheckingJVM(wsOpts : VSCode.WorkspaceConfiguration): boolean { if (!wsOpts) { return true; } - const checkJvm: boolean = wsOpts.get("checkJVM"); - console.log(`Check JVM: ${checkJvm}`); - return checkJvm; + return wsOpts.get("checkJVM"); } function getUserDefinedJvmArgs(wsOpts : VSCode.WorkspaceConfiguration) : string[] {