Giacomo Vercesi 046be11be2 revng graphql: gracefully terminate daemon ...

When stopping an internal daemon, first try to use SIGINT and then
resort to SIGKILL. This is to avoid the signal handler exiting with a
non-zero return code during shutdown.

2024-11-25 17:52:27 +01:00

..

api

InitRevng: fix command line parsing

2024-01-26 17:46:21 +01:00

cli

revng graphql: gracefully terminate daemon

2024-11-25 17:52:27 +01:00

daemon

revng daemon: print debug log to stderr

2024-01-26 19:13:58 +01:00

support

commands_registry.py: allow subcommands in subdirs

2024-10-01 13:38:14 +02:00

__init__.py

python: create python wheels

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

py.typed

python: create python wheels

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