IDE: Symlinks to folders are considered folders.

Closes #568.
BelaPlatform · Oct 19, 2019 · 93342d6 · 93342d6
1 parent de2c63d
commit 93342d6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/IDE/dist/FileManager.js b/IDE/dist/FileManager.js
@@ -403,7 +403,7 @@ function directory_exists(dir_path) {
         var stat;
         return __generator(this, function (_a) {
             switch (_a.label) {
-                case 0: return [4 /*yield*/, stat_file(dir_path)
+                case 0: return [4 /*yield*/, stat_file(dir_path + "/")
                         .catch(function (e) { })];
                 case 1:
                     stat = _a.sent();

diff --git a/IDE/src/FileManager.ts b/IDE/src/FileManager.ts
@@ -168,7 +168,8 @@ export async function write_json(file_path: string, data: any): Promise<void> {
 	return write_file(file_path, JSON.stringify(data));
 }
 export async function directory_exists(dir_path: string): Promise<boolean>{
-	let stat: any = await stat_file(dir_path)
+	// the "/" ensure return stat.isDirectory() is "true" for symlinks to directories
+	let stat: any = await stat_file(dir_path+"/")
 		.catch( e => {} );
 	return (stat && stat.isDirectory && stat.isDirectory()) ? true : false;
 }