Return early if serverPath is not set

or path.basename(serverPath) will failed
Happen if we could not download tool4D

Author: e-marchand

editor/src/config.ts

@@ -115,6 +115,11 @@ export class Config {
     get serverPath() {
         let serverPath = this._serverPath;
 
+        // Return early if serverPath is not set
+        if (!serverPath) {
+            return serverPath;
+        }
+        
         const type = os.type();
         const dirname = path.basename(serverPath);
         if (type === "Darwin" && dirname.endsWith(".app")) {

editor/src/infoplist.ts

@@ -16,6 +16,12 @@ export class InfoPlistManager {
 
     private static _getInfoplistPath(inExePath : string) {
         const serverPath = inExePath;
+        
+        // Return early if serverPath is not set
+        if (!serverPath) {
+            return "";
+        }
+        
         const type = os.type();
         const dirname = path.basename(serverPath);
         if (type === "Darwin" && dirname.endsWith(".app")) {