sent signal TERM instead INT
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 7 Sep 2015 09:38:30 +0000 (09:38 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 7 Sep 2015 09:38:30 +0000 (09:38 +0000)
TERM seems to be more common for non-interactive scripts


No differences found