Giacomo Vercesi 45e64a9d40 pypeline-daemon: clean up websocket code ...

Clean up the code related to the handling of websockets and allow the
daemon to be terminated gracefully without any error messages.

2026-03-25 12:03:34 +01:00

..

revng

pypeline-daemon: clean up websocket code

2026-03-25 12:03:34 +01:00

scripts

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

CMakeLists.txt

pypeline-daemon: rework error propagation

2026-03-25 12:03:34 +01:00

wheel-install.sh

python: create python wheels

2023-12-12 14:52:22 +01:00