diff options
| -rw-r--r-- | update-all.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update-all.in b/update-all.in index 8e8a211..6d36bb2 100644 --- a/update-all.in +++ b/update-all.in @@ -95,7 +95,7 @@ fi while [ -n "${pids[*]}" ]; do if [ -z "${DISPLAY}" ]; then for pid in "${pids[@]}"; do - if ! kill -0 "${pid}" >/dev/null 2>&1; then + if ! [ -d "/proc/${pid}" ]; then continue fi npids+=("${pid}") @@ -108,7 +108,7 @@ while [ -n "${pids[*]}" ]; do pids=( $( for pid in "${pids[@]}"; do - if kill -0 "${pid}" >/dev/null 2>&1; then + if [ -d "/proc/${pid}" ]; then printf '%s\n' "${pid}" fi done |