diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-29 21:34:50 +0200 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-29 21:34:50 +0200 |
commit | f749ffb907211e05814f03b90052452f39f6c496 (patch) | |
tree | c05a92185a25de91b947722f14b10f70d6db9607 | |
parent | d243e22757d5c71091f59cba4475c104760f48e0 (diff) | |
download | impressive-display-f749ffb907211e05814f03b90052452f39f6c496.tar.gz impressive-display-f749ffb907211e05814f03b90052452f39f6c496.tar.bz2 impressive-display-f749ffb907211e05814f03b90052452f39f6c496.zip |
Silence stderr output of the kill command when testing for existing PIDs.
-rwxr-xr-x | bin/impressive-display | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/impressive-display b/bin/impressive-display index ad744f3..08d9da1 100755 --- a/bin/impressive-display +++ b/bin/impressive-display @@ -296,13 +296,13 @@ function reloadable_impressive { while [ -r $impressive_lock ] && [ "$(cat $impressive_lock)" != "RELOAD" ] && [ -e "$session_lock" ]; do sleep 1 - if ! kill -0 "$impressive_pid"; then + if ! kill -0 "$impressive_pid" 2>/dev/null; then rm "$session_lock" break fi done - kill -0 "$impressive_pid" && kill "$impressive_pid" + kill -0 "$impressive_pid" 2>/dev/null && kill "$impressive_pid" done |