3 Commits

Author	SHA1	Message	Date
Régis Behmo	556f0bf8f3	Unable to interrupt a running server... ... I'm quitting, waiting for the upstream issue to be resolved.	2024-12-19 14:51:43 +01:00
Régis Behmo	ee8c9c4362	replace fastapi by Quart ... FastAPI is mostly uvicorn+starlette. As such, the documentation is spread over multiple places. Also, pydantic parsing of arguments is a pain to work with. Since we don't need powerful performance, we switch to Quart. Quart is preferred over Flask because of its async capabilities, which we need for log streaming in websockets. In progress: execute tutor commands and stream logs.	2024-11-21 18:06:05 +01:00
Régis Behmo	46222154da	🌅	2024-11-20 10:38:12 +01:00