ignore empty xml files

diff --git a/.bin/er-close b/.bin/er-close
index e7888c352887da8940e0598188db693f8c67134a..fa9ffdac5d083080478be31c43b6862a3e8d86d5 100755 (executable)
--- a/.bin/er-close
+++ b/.bin/er-close
@@ -41,7 +41,7 @@ while [[ $# -ne 0 ]] ; do
 
        xml="${tdir}/${b}.xml"
        # server doesn't support timestamps, so cannot use -N
-       if [[ ! -e $xml ]] ; then
+       if [[ ! -s $xml ]] ; then
                wget -q -O $xml https://bugs.gentoo.org/${b}?ctype=xml
        fi
        name=$(xml sel -E utf8 -t -m bugzilla/bug/long_desc -c who -n $xml | \