Giacomo Vercesi d7265ff160 PipelineC: allow signal masking ...

Some users of PipelineC might be interested in preserving
pre-existing signals, this commits adds this functionality.

2022-10-04 14:13:56 +02:00

..

templates

api.Manager: use TemporaryDirectory if no workdir

2022-09-26 18:09:01 +02:00

__init__.py

PipelineC: allow signal masking

2022-10-04 14:13:56 +02:00

demo_webpage.py

daemon: Disable debug page in production mode

2022-05-06 15:04:19 +02:00

manager.py

api.Manager: use TemporaryDirectory if no workdir

2022-09-26 18:09:01 +02:00

schema_generator.py

GraphQL: drop step name conversion

2022-08-26 09:50:42 +02:00

schema.graphql.tpl

GraphQL: drop step name conversion

2022-08-26 09:50:42 +02:00

static_handlers.py

PipelineC: expose globals verification

2022-07-28 08:47:46 +02:00

util.py

revng.daemon.util: Remove dead code

2022-10-04 14:13:55 +02:00