diff options
| author | Joerg Jaspert <joerg@debian.org> | 2009-03-23 20:32:37 +0100 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2009-03-23 20:32:37 +0100 |
| commit | 62dcb54865c1328c3f7dc47dee96533cdbe86f90 (patch) | |
| tree | f3e45a002074db3f5f77fe3050674ce325d8ed4a /bin/runmirrors | |
| parent | 7aadbe90efadf7a01b2aa0f02b1b17502dac37bc (diff) | |
multiple
adjust pushdelay to be longer by default
better logging for pushes
actually increase the timeout, so it should hit at some point, in staged pushes.
log if a staged push failed to find all other locks it waits for.
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'bin/runmirrors')
| -rwxr-xr-x | bin/runmirrors | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/runmirrors b/bin/runmirrors index 2cbce58..c718ab4 100755 --- a/bin/runmirrors +++ b/bin/runmirrors @@ -58,7 +58,7 @@ SSH_OPTS=${SSH_OPTS:-""} # Whats our archive name? We will also tell our leafs about it PUSHARCHIVE=${PUSHARCHIVE:-"${CONF}"} # How long to wait for mirrors to do stage1 if we have multi-stage syncing -PUSHDELAY=${PUSHDELAY:-240} +PUSHDELAY=${PUSHDELAY:-600} # Which ssh key to use? KEYFILE=${KEYFILE:-".ssh/pushmirror"} # where to send mails to |