diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2019-05-28 00:21:43 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2019-05-28 00:24:09 +0200 |
commit | 03460fe3d2657c626d406e57d75f6f9c6fa4338e (patch) | |
tree | e3ba35b5b36a47432c645b21e6ea509001816180 /tests/00-db-exclusive/run | |
parent | d385fd2817a96bc952b086533798bbf009d3d54f (diff) |
tests: don't fail when a pid can't be killed.
(Usually on ESRCH.)
Diffstat (limited to 'tests/00-db-exclusive/run')
-rw-r--r-- | tests/00-db-exclusive/run | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/00-db-exclusive/run b/tests/00-db-exclusive/run index 1ae27b6..1528b3b 100644 --- a/tests/00-db-exclusive/run +++ b/tests/00-db-exclusive/run @@ -9,8 +9,8 @@ interimap interimap --watch=60 & pid=$! cleanup() { # kill interimap process and its children - pkill -P "$pid" -TERM - kill -TERM "$pid" + pkill -P "$pid" -TERM || true + kill -TERM "$pid" || true wait } trap cleanup EXIT INT TERM |