Giacomo Vercesi 0ec2fdd175 revng.daemon: prevent shutdown crash ...

Change the behavior of `revng daemon` to avoid a crash at shutdown
caused by `rp_shutdown` not being called due to the pointer of
`rp_manager` not being freed.

2023-07-21 09:34:00 +02:00

..

templates

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +02:00

__init__.py

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +02:00

demo_webpage.py

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +02:00

event_manager.py

revng fifo events: move handling to daemon

2023-02-07 16:54:35 +01:00

multiqueue.py

PipelineC: expose invalidation logic

2022-10-30 09:13:14 +01:00

schema_generator.py

rcc: add codespell

2023-05-11 10:05:32 +02:00

schema.graphql.tpl

Drop analyze-all

2023-03-22 17:50:02 +01:00

static_handlers.py

Drop analyze-all

2023-03-22 17:50:02 +01:00

util.py

revng.daemon: drop REVNG_PROJECT_ID

2023-05-24 14:59:16 +02:00