catch file read permission denied error

Author: christopher-besch

example.py

@@ -1,13 +1,6 @@
 from manim import *
 
-from manim_editor import (
-    EditorBanner,
-    IconCompleteLoop,
-    IconLoop,
-    IconNormal,
-    IconSkip,
-    PresentationSectionType,
-)
+from manim_editor import EditorBanner, IconCompleteLoop, IconLoop, IconNormal, IconSkip, PresentationSectionType
 
 
 class IconTest(Scene):

manim_editor/app/main/routes.py

@@ -2,26 +2,9 @@
 import os
 from pathlib import Path
 
-from flask import (
-    abort,
-    current_app,
-    flash,
-    jsonify,
-    redirect,
-    render_template,
-    request,
-    send_file,
-    url_for,
-)
-
-from ...editor import (
-    create_project_dir,
-    export_presentation,
-    get_project,
-    get_projects,
-    get_scenes,
-    populate_project,
-)
+from flask import abort, current_app, flash, jsonify, redirect, render_template, request, send_file, url_for
+
+from ...editor import create_project_dir, export_presentation, get_project, get_projects, get_scenes, populate_project
 from . import bp
 
 

manim_editor/editor/commands.py

@@ -32,11 +32,15 @@ def walk(top: Path, maxdepth: int) -> Generator[Tuple[Path, List[str], List[str]
     """Reimplementation of os.walk with max recursion depth."""
     dirs: List[str] = []
     nondirs: List[str] = []
-    for name in os.listdir(top):
-        if os.path.isdir(top / name):
-            dirs.append(name)
-        else:
-            nondirs.append(name)
+    # check if dir can be read
+    try:
+        for name in os.listdir(top):
+            if os.path.isdir(top / name):
+                dirs.append(name)
+            else:
+                nondirs.append(name)
+    except PermissionError:
+        print(f"Warning: can't access dir '{top}'")
     yield top, dirs, nondirs
     if maxdepth:
         for name in dirs:
@@ -50,11 +54,16 @@ def valid_json_load(path: Path, schema: Any) -> Optional[Any]:
     """
     if not os.path.isfile(path):
         return None
-    with open(path, "r") as file:
-        try:
-            data = json.load(file)
-        except json.decoder.JSONDecodeError:
-            return None
+    # check if file can be read
+    try:
+        with open(path, "r") as file:
+            try:
+                data = json.load(file)
+            except json.decoder.JSONDecodeError:
+                return None
+    except PermissionError:
+        print(f"Warning: can't access file '{path}'")
+        return None
     try:
         jsonschema.validate(data, schema)
     except jsonschema.ValidationError: