From a93a91a0603a848e9d1de200e3b5ae74bbdcb1f8 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Thu, 18 Jan 2018 15:57:04 +0100 Subject: fix race --- bin/taler-log-adapter | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/taler-log-adapter b/bin/taler-log-adapter index 52dc15c..51d2df6 100755 --- a/bin/taler-log-adapter +++ b/bin/taler-log-adapter @@ -30,6 +30,8 @@ import time def handler(signum, frame): if p: os.kill(p.pid, signal.SIGINT) + else: + sys.exit(-1) def touchp(path): dir = os.path.dirname(path) -- cgit v1.2.3