diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 04:26:24 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 04:26:24 +0200 |
| commit | 590bf57446967d897ee8327c8b2df57b77f4744e (patch) | |
| tree | 877ba9054b883045592de277911b407522598e77 /tests/07-sync-live-multi | |
| parent | 272ab84e5cb4f37f5fb0351b934839a45b8dd72d (diff) | |
| parent | 25f1dbdf54947bd6bbce653bc64f6c45b2473792 (diff) | |
Merge branch 'master' into debian
Diffstat (limited to 'tests/07-sync-live-multi')
| -rw-r--r-- | tests/07-sync-live-multi/run | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tests/07-sync-live-multi/run b/tests/07-sync-live-multi/run index bf0d2f5..15a27fd 100644 --- a/tests/07-sync-live-multi/run +++ b/tests/07-sync-live-multi/run @@ -15,12 +15,12 @@ interimap --config="config3" --watch=1 & pid3=$! abort() { # kill interimap process and its children - pkill -P "$pid" -TERM - kill -TERM "$pid" - pkill -P "$pid2" -TERM - kill -TERM "$pid2" - pkill -P "$pid3" -TERM - kill -TERM "$pid3" + pkill -P "$pid" -TERM || true + kill -TERM "$pid" || true + pkill -P "$pid2" -TERM || true + kill -TERM "$pid2" || true + pkill -P "$pid3" -TERM || true + kill -TERM "$pid3" || true wait } trap abort EXIT INT TERM @@ -101,7 +101,7 @@ while [ $(date +%s) -le $timer ]; do done # sleep a little bit - sleep "0.$(shuf -n1 -i1-99)" + sleep "$(printf "0.%03d" "$(shuf -n1 -i1-999)")" done # wait a little longer so interimap has time to run loop() again and |