Fixes "/" search not working.

xunyuw · Apr 6, 2023 · b8f2dd5 · b8f2dd5
1 parent 7080881
commit b8f2dd5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/scripts/file_operations.py b/scripts/file_operations.py
@@ -61,7 +61,11 @@ def delete_file(filename):
 
 def search_files(directory):
     found_files = []
-    search_directory = safe_join(working_directory, directory)
+
+    if directory == "" or directory == "/":
+        search_directory = working_directory
+    else:
+        search_directory = safe_join(working_directory, directory)
 
     for root, _, files in os.walk(search_directory):
         for file in files: