port to debian buster

This commit is contained in:
Patrick Schleizer 2019-04-05 14:06:00 -04:00
parent 811dcee2cb
commit 6ba1fb70d2
No known key found for this signature in database
GPG key ID: CB8D50BB77BB3C48

View file

@ -12,7 +12,7 @@ sigterm_trap() {
## Already terminated. ## Already terminated.
exit 143 exit 143
fi fi
kill -sigterm "$lastpid" kill -s sigterm "$lastpid"
exit 143 exit 143
} }