diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2020-01-29 12:21:59 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2020-01-29 12:21:59 +0100 |
commit | 98a580c5a6f9dd2f2b2ca103a9c6df9f0f77b0d1 (patch) | |
tree | 730edd0c0a57e0ca305e58c8452201f705a9010c /tests/pullimap | |
parent | 97b077be640071363918a0a27b0acfddd114ff1a (diff) | |
parent | 4bab81b1ccde90990620c157c274e2b2c7831b9f (diff) |
Merge tag 'upstream/0.5' into debian
Upstream version 0.5
Diffstat (limited to 'tests/pullimap')
-rw-r--r-- | tests/pullimap/t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pullimap/t b/tests/pullimap/t index 79da3e0..115432d 100644 --- a/tests/pullimap/t +++ b/tests/pullimap/t @@ -123,7 +123,7 @@ while [ $(date +%s) -le $timer ]; do sleep "$s" done -sleep 2 +sleep 5 ptree_abort $PID trap - EXIT INT TERM |