killing dlvhex with SIGTERM or with SIGINT (CTRL+C) now also gives benchmark output
killing dlvhex with SIGTERM or with SIGINT (CTRL+C) now also gives benchmark output

hexhex/core,hexhex/core,hexhex/core,hexhex/core