Giacomo Vercesi e43e720a35 revng daemon: allow setting exposed CORS headers ...

Add the enviroment variable `REVNG_EXPOSE_HEADERS` for `revng daemon` to
allow customizing the headers exposed via CORS.

2023-09-06 16:12:43 +02:00

..

__init__.py

revng daemon: allow setting exposed CORS headers

2023-09-06 16:12:43 +02:00

event_manager.py

revng.daemon: trim Eventmanager's functionality

2023-09-06 15:23:43 +02: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

Add components to revng cli driver

2023-08-23 17:45:36 +02:00

static_handlers.py

Drop analyze-all

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

util.py

revng: introduce S3 support

2023-09-06 15:23:43 +02:00