From: Debian BTS <debbugs@rietz>
Date: Thu, 4 Dec 2008 07:56:21 +0000 (+0000)
Subject: increase freqency to 400, disable mirror to piatti for the time being
X-Git-Url: https://git.donarmstrong.com/debbugs.git/?a=commitdiff_plain;h=a6702cf5735cbdd8fe64f9ffee31a51b6994f375;p=debbugs.git

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 9e237cd..fc3e5ad 100755
--- 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