6 Commits

Author	SHA1	Message	Date
Régis Behmo	cb7edcea61	Plugin description converted to html	2025-01-10 15:47:28 +01:00
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	a2e3018de4	fix: working thread API ... There is always a single thread running at any time, thanks to the TutorCliPool.	2024-12-07 12:30:13 +01:00
Régis Behmo	2c113f5267	fix: type tests	2024-12-05 15:56:11 +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