Changeset f8e1cf8 in flexograder

Timestamp:

11/10/25 15:10:39 (5 months ago)

Author:

Enrico Schwass <ennoausberlin@…>

Branches:

fake-data, main, master

Children:

7cc3672

Parents:

bc820cf

Message:

force utf-8 encoding for sessions

Files:

• builder/exam_manager.py (modified) (4 diffs)
• gui/session_manager.py (modified) (2 diffs)

builder/exam_manager.py

@@ +1 @@
+import json
+from pathlib import Path
 from builder.exam import Exam
 from flexoentity import EntityState, EntityType, Domain
@@ -22 +24 @@
         self.active_exam_id = exam.flexo_id
         return exam
-    
+
     @property
     def exams(self):
         return self._exams
-    
+
     def add_exam(self, exam):
         """Add an externally loaded Exam (e.g., from JSON)."""
         self._exams[exam.flexo_id] = exam
         self.active_exam_id = exam.flexo_id
-       
+
     def list_exams(self):
         return list(self.exams.keys())
-    
+
     def list_titles(self):
         """Return titles for GUI dropdowns."""
         return [exam.title for exam in self._exams.values()]
-    
+
     def get_active(self):
         return self.exams.get(self.active_exam_id)
-    
+
     def get_active_id(self) -> str | None:
         return self.active_exam_id
@@ -54 +56 @@
         for exam in self._exams.values():
             if exam.title == title:
-                self.active_exam_id = exam.flexo_id.id
+                self.active_exam_id = exam.flexo_id
                 return
         raise ValueError(f"No exam with title '{title}' found")
@@ -71 +73 @@
     def save_all(self, directory: str):
         """Save all exams to JSON files in a given directory."""
-        from pathlib import Path
 
         directory = Path(directory)
         directory.mkdir(parents=True, exist_ok=True)
         for exam in self._exams.values():
-            filename = directory / f"{exam.title}_{exam.flexo_id.id}.json"
+            filename = directory / f"{exam.title}_{exam.flexo_id}.json"
             exam.to_json_file(filename)
 
     def load_all(self, directory: str):
         """Load all exams from JSON files in a given directory."""
-        from pathlib import Path
-        import json
 
         directory = Path(directory)

gui/session_manager.py

@@ -44 +44 @@
                 "timestamp": timestamp,
             }
-            self.session_file.write_text(json.dumps(data, indent=2))
+            self.session_file.write_text(json.dumps(data, encoding="utf-8", indent=2))
             print(f"[Session] Saved at {timestamp}")
         except Exception as e:
@@ -58 +58 @@
         try:
             print(self.session_file)
-            data = json.loads(self.session_file.read_text())
+            data = json.loads(self.session_file.read_text(encoding="utf-8"))
 
             # 1. Restore window