Giacomo Vercesi 23cd7f871a revng daemon: fix project-id checking ...

Fixes the regex that's used to check if the project ID is valid

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

..

templates

api.Manager: use TemporaryDirectory if no workdir

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

__init__.py

revng-daemon: preserve more signals

2023-02-01 17:46:19 +01: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

multiqueue.py

PipelineC: expose invalidation logic

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

schema_generator.py

revng.daemon: accept no arguments for analysis

2023-02-06 09:37:23 +01:00

schema.graphql.tpl

revng.daemon: accept no arguments for analysis

2023-02-06 09:37:23 +01:00

static_handlers.py

GraphQL: introduce target endpoint

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

util.py

revng daemon: fix project-id checking

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