Open gavv opened 10 months ago
When signal is received, properly stop Runner. This includes finishing buffered dumps, writing JSON terminators, etc. Then exit with non-zero code.
Runner
Also handle double SIGINT.
When signal is received, properly stop
Runner
. This includes finishing buffered dumps, writing JSON terminators, etc. Then exit with non-zero code.Also handle double SIGINT.