Added java home

master
Thorsten Muerell 7 years ago
parent 2267d86f03
commit c684fa0c7c

@ -80,7 +80,7 @@
"properties": { "properties": {
"frog.javaHome": { "frog.javaHome": {
"type": "string", "type": "string",
"default": false, "default": "",
"description": "Set the java home to use for the runner." "description": "Set the java home to use for the runner."
} }
} }

@ -60,7 +60,8 @@ export class SessionManager {
} }
let extPath = vscode.extensions.getExtension("todie.frog").extensionPath; let extPath = vscode.extensions.getExtension("todie.frog").extensionPath;
let javaHome = vscode.workspace.getConfiguration('frog').get("frog.javaHome", "") const configuration = vscode.workspace.getConfiguration('frog')
const javaHome = configuration.get("javaHome", "")
let java = "java"; let java = "java";
if (javaHome) { if (javaHome) {
java = path.join(javaHome, 'bin', 'java') java = path.join(javaHome, 'bin', 'java')

Loading…
Cancel
Save