From cfbb8e5de720bb70d70fa2f5d3b3ae3ee32fef31 Mon Sep 17 00:00:00 2001 From: Leny Bressoud Date: Fri, 8 May 2026 13:30:46 +0200 Subject: [PATCH 1/2] Publish specs from file --- src/views/manage_projects.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/views/manage_projects.py b/src/views/manage_projects.py index b77a3d2..9a4cd40 100644 --- a/src/views/manage_projects.py +++ b/src/views/manage_projects.py @@ -62,6 +62,15 @@ st.error("Invalid yaml file, missing required properties !") else: + specs_dir = Path("specs") + specs_dir.mkdir(exist_ok=True) + + filename = f"{specs.name}" + filepath = specs_dir / filename + + with open(filepath, "wb") as f: + f.write(specs.getvalue()) + project = db.create_project(st.session_state.user.id, teacher_id, project_dict["title"], project_dict["description"], f"specs/{specs.name}", st.session_state.program_id) if project: From bf6eda942dbfea289bd050fcfbadc09b688ae5b3 Mon Sep 17 00:00:00 2001 From: Leny Bressoud Date: Fri, 8 May 2026 13:32:27 +0200 Subject: [PATCH 2/2] Python stdout unbuffered --- compose.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compose.yml b/compose.yml index 0c9a10a..9f0a3d4 100644 --- a/compose.yml +++ b/compose.yml @@ -69,6 +69,8 @@ services: - DB_NAME=${POSTGRES_DB} - DB_USER=${POSTGRES_USER} - DB_PASSWORD=${POSTGRES_PASSWORD} + + - PYTHONUNBUFFERED=1 ports: - "8084:8501" depends_on: