From a6702cf5735cbdd8fe64f9ffee31a51b6994f375 Mon Sep 17 00:00:00 2001 From: Debian BTS Date: Thu, 4 Dec 2008 07:56:21 +0000 Subject: [PATCH] increase freqency to 400, disable mirror to piatti for the time being --- examples/debian/postpa/10mirrors | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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 -- 2.39.2