3 # This script signals merkel.debian.org to mirror debbugs at most once
6 # changing this to 400 seconds
12 cd /org/bugs.debian.org
14 [ $(( $(date +%s) - $(stat -c %Y /org/bugs.debian.org/log/mirrors.log) )) -gt 400 ] || exit 0;
16 exec >>log/mirrors.log 2>&1
20 echo Signalling $1: $2@$1 > log/$1.log
21 key="$HOME/.ssh/bts-mirror"
22 ssh -i "$key" -o"user $2" "$1" sleep 1 &
29 # disabled weasel, 20081202
30 #signal piatti debbugs