From: Wolfram Schneider <wosch@indexdata.dk>
Date: Mon, 7 Sep 2015 09:38:30 +0000 (+0000)
Subject: sent signal TERM instead INT
X-Git-Url: http://lists.indexdata.dk/cgi-bin?a=commitdiff_plain;h=988569fdc1d4b8047f3255989997a051663a5dfb;hp=988569fdc1d4b8047f3255989997a051663a5dfb;p=mkws-moved-to-github.git

sent signal TERM instead INT

TERM seems to be more common for non-interactive scripts
---