Merge branch 'main' of https://github.com/MrGreyfun/Local-Code-Interp…

…reter
zh3305 · Nov 14, 2023 · 4b02544 · 4b02544
2 parents b87f53f + 0526391
commit 4b02544
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/web_ui.py b/src/web_ui.py
@@ -67,9 +67,9 @@ def refresh_file_display(state_dict: Dict) -> List[str]:
     filenames = os.listdir(work_dir)
     paths = []
     for filename in filenames:
-        paths.append(
-            os.path.join(work_dir, filename)
-        )
+        path = os.path.join(work_dir, filename)
+        if not os.path.isdir(path):
+            paths.append(path)
     return paths