Fix Windows path encoding for special characters (#3761)

marimo/_server/file_manager.py

@@ -106,13 +106,14 @@ def _rename_file(self, new_filename: str) -> None:
         assert self.filename is not None
         self._create_parent_directories(new_filename)
         try:
-            os.rename(self.filename, new_filename)
+            # Use pathlib.Path for cross-platform path handling
+            src_path = pathlib.Path(self.filename)
+            dst_path = pathlib.Path(new_filename)
+            src_path.rename(dst_path)
         except Exception as err:
             raise HTTPException(
                 status_code=HTTPStatus.SERVER_ERROR,
-                detail="Failed to rename from {0} to {1}".format(
-                    self.filename, new_filename
-                ),
+                detail=f"Failed to rename from {self.filename} to {new_filename}",
             ) from err
 
     def _save_file(

tests/_server/test_file_manager.py

@@ -1,6 +1,7 @@
 from __future__ import annotations
 
 import os
+import shutil
 import sys
 import tempfile
 from typing import Generator
@@ -429,3 +430,22 @@ def cell1():
     assert changed_cell_ids == {"MJUe"}
     # Clean up
     os.remove(temp_file.name)
+
+
+def test_rename_with_special_chars(app_file_manager: AppFileManager) -> None:
+    """Test that renaming files with special characters works."""
+    # Create a temporary file
+    temp_dir = tempfile.mkdtemp()
+    try:
+        initial_path = os.path.join(temp_dir, "test.py")
+        with open(initial_path, "w") as f:
+            f.write("import marimo")
+        app_file_manager.filename = initial_path
+
+        # Try to rename to path with special characters
+        new_path = os.path.join(temp_dir, "test & space.py")
+        app_file_manager.rename(new_path)
+        assert app_file_manager.filename == new_path
+        assert os.path.exists(new_path)
+    finally:
+        shutil.rmtree(temp_dir)