diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-04-22 10:39:13 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-04-22 10:39:13 +0200 |
| commit | 82ad76d017ab7e098aa13f84d39c8b9df888c5da (patch) | |
| tree | f3949fbb4226695825f56caed73b7dcf783921dc /service | |
| parent | efd7cc4bd9eb811bb43112e36440e2d47c7bbd75 (diff) | |
| download | myconfigs-82ad76d017ab7e098aa13f84d39c8b9df888c5da.tar.gz myconfigs-82ad76d017ab7e098aa13f84d39c8b9df888c5da.tar.bz2 myconfigs-82ad76d017ab7e098aa13f84d39c8b9df888c5da.zip | |
Various small changes and fixes
Diffstat (limited to 'service')
| -rwxr-xr-x | service/syncemail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/service/syncemail b/service/syncemail index 7465676..a42e380 100755 --- a/service/syncemail +++ b/service/syncemail @@ -14,6 +14,7 @@ start() { } stop() { - kill "$(cat $pidfile)" - wait "$(cat $pidfile)" + PID="$(cat $pidfile)" + kill $PID 2>/dev/null + while kill -0 $PID 2>/dev/null; do sleep 1; done } |