If language server path "" should be the same as null. (#163)

MikaelMayer · web-flow · commit b91463295d49 · 2022-05-24T09:32:30.000-05:00
diff --git a/src/language/dafnyInstallation.ts b/src/language/dafnyInstallation.ts
@@ -174,7 +174,8 @@ export class DafnyInstaller {
   }
 
   public isCustomInstallation(): boolean {
-    return getConfiguredLanguageServerRuntimePath() != null;
+    const configuredLanguageServerRuntimePath = getConfiguredLanguageServerRuntimePath();
+    return configuredLanguageServerRuntimePath != null && configuredLanguageServerRuntimePath !== '';
   }
 
   public async isLanguageServerRuntimeAccessible(): Promise<boolean> {

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,8 @@ export class DafnyInstaller {`
`174`	`174`	`}`
`175`	`175`
`176`	`176`	`public isCustomInstallation(): boolean {`
`177`		`- return getConfiguredLanguageServerRuntimePath() != null;`
	`177`	`+ const configuredLanguageServerRuntimePath = getConfiguredLanguageServerRuntimePath();`
	`178`	`+ return configuredLanguageServerRuntimePath != null && configuredLanguageServerRuntimePath !== '';`
`178`	`179`	`}`
`179`	`180`
`180`	`181`	`public async isLanguageServerRuntimeAccessible(): Promise<boolean> {`