Eelco Dolstra 52753e49c2 hydra-evaluator: Handle SIGINT ...

This makes "systemctl stop hydra-evaluator" work promptly again.

2017-02-21 17:54:31 +01:00

..

hydra-evaluator.cc

hydra-evaluator: Handle SIGINT

2017-02-21 17:54:31 +01:00

Makefile.am

Concurrent hydra-evaluator

2016-10-14 14:22:12 +02:00