Giacomo Vercesi 9f63c7c476 revng daemon: handle PipelineManager no init ...

Handle the case in `revng daemon` where the `PipelineManager` fails to
init. In this scenario the server responds to all requests with a 500
(with the exception of `/` and `/status`, which return 200).

2025-07-30 15:43:02 +02:00

..

__init__.py

revng daemon: handle PipelineManager no init

2025-07-30 15:43:02 +02:00

graphql.py

revng daemon: increase logging

2025-07-25 16:50:19 +02:00

multiqueue.py

python: create python wheels

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

schema.graphql

revng daemon: add save mutation

2024-12-20 12:24:34 +01:00

util.py

python: create python wheels

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