mediawiki-mirror.sh: do not fail when there is nothing to mirror

dscho · dscho · commit e2cc424fbfbf · 2013-03-13T14:45:14.000-05:00
Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/mediawiki-mirror.sh b/mediawiki-mirror.sh
@@ -77,7 +77,7 @@ pages="$(pages_with_changes_since $ORIGINAL $since |
 	sed -e "s/^'//" -e "s/',$//" -e "s/ /%20/g" |
 	tr '\n' ' ')"
 
-test -n "$pages" || exit
+test -n "$pages" || exit 0
 
 # export from the original Wiki
 
