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/07-sync-live | |
parent | d385fd2817a96bc952b086533798bbf009d3d54f (diff) |
tests: don't fail when a pid can't be killed.
(Usually on ESRCH.)
Diffstat (limited to 'tests/07-sync-live')
-rw-r--r-- | tests/07-sync-live/run | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/07-sync-live/run b/tests/07-sync-live/run index 1950e0b..00cd826 100644 --- a/tests/07-sync-live/run +++ b/tests/07-sync-live/run @@ -6,8 +6,8 @@ interimap --watch=1 & pid=$! abort() { # kill interimap process and its children - pkill -P "$pid" -TERM - kill -TERM "$pid" + pkill -P "$pid" -TERM || true + kill -TERM "$pid" || true wait } trap abort EXIT INT TERM |