|
|
@ -59,6 +59,10 @@ export class SessionManager {
|
|
|
|
return false;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if (this.dbSession) {
|
|
|
|
|
|
|
|
return true;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
let extPath = vscode.extensions.getExtension("tmuerell.frog").extensionPath;
|
|
|
|
let extPath = vscode.extensions.getExtension("tmuerell.frog").extensionPath;
|
|
|
|
const configuration = vscode.workspace.getConfiguration('frog')
|
|
|
|
const configuration = vscode.workspace.getConfiguration('frog')
|
|
|
|
const javaHome = configuration.get("javaHome", "")
|
|
|
|
const javaHome = configuration.get("javaHome", "")
|
|
|
|