increase freqency to 400, disable mirror to piatti for the time being

diff --git a/examples/debian/postpa/10mirrors b/examples/debian/postpa/10mirrors
index 9e237cd838acce2e8d4839e19d746f29251674a8..fc3e5ad21ebda1af37413cf64c58fa5a6ee85a67 100755 (executable)
--- a/examples/debian/postpa/10mirrors
+++ b/examples/debian/postpa/10mirrors
@@ -3,13 +3,15 @@
 # This script signals merkel.debian.org to mirror debbugs at most once
 # every 800 seconds
 
+# changing this to 400 seconds
+
 set -e
 
 umask 002
 
 cd /org/bugs.debian.org
 
-[ $(( $(date +%s) - $(stat -c %Y /org/bugs.debian.org/log/mirrors.log) )) -gt 800 ] || exit 0;
+[ $(( $(date +%s) - $(stat -c %Y /org/bugs.debian.org/log/mirrors.log) )) -gt 400 ] || exit 0;
 
 exec >>log/mirrors.log 2>&1
 
@@ -24,4 +26,5 @@ signal () {
 date
 
 signal merkel debbugs
-signal piatti debbugs
+# disabled weasel, 20081202
+#signal piatti debbugs