throw away errors from ping

diff --git a/getmail b/getmail
index 44c2020c117c613295cd3e1b858cf94b004d2b69..3a5fc553694abdab66157230ff1bf637e99c6bb5 100755 (executable)
--- a/getmail
+++ b/getmail
@@ -14,7 +14,7 @@ fi;
 
 # See if the server exists
 if [ -z "$CRON" ] || kill -0 `pgrep -U $(id -u) -x $MUA` 2>/dev/null; then
-    if ping -q -c 3 $IMAPHOST >/dev/null; then
+    if ping -q -c 3 $IMAPHOST >/dev/null 2>&1; then
        nice -n 19 offlineimap -o -u Noninteractive.Basic 2>&1 |grep validity| \
            perl -ne 'my ($account,$list) = /UID validity problem for folder ([\w-]+)\.([\w-]+)/;
                       qx(/home/don/bin/deletemailbox -a $account $list > /dev/null);';