# puppetd maintained
+# <service> <source host> <directory> <extra push hosts, comma separated>
mozilla.debian.net wagner.debian.org /srv/home/groups/pkg-mozilla/htdocs
planet.debian.org senfl.debian.org /srv/planet.debian.org/www
www.debian.org wolkenstein.debian.org /srv/www.debian.org/www
bits.debian.org master.debian.org /srv/bits-master.debian.org/htdocs
-backports.debian.org ries.debian.org /srv/backports.debian.org/htdocs
+backports.debian.org ries.debian.org /srv/backports.debian.org/htdocs franck.debian.org
component="$1"
shift
- hit="$(awk -v component="$component" -v host="$remote_host" '$1 == component && $2 == host {print $3; exit}' "$COMPONENTLIST")"
+ hit="$(
+ awk -v component="$component" -v host="$remote_host" '
+ $1 == component {
+ if ($2 == host) {
+ print $3
+ exit
+ }
+ split($4,extra,",")
+ for (i in extra) {
+ if (host == extra[i]) {
+ printf "%s:%s\n", $2, $3
+ exit
+ }
+ }
+ exit
+ }' "$COMPONENTLIST"
+ )"
if [ -n "$hit" ]; then
exec static-master-update-component "$component"
echo >&2 "Exec failed"