diff options
author | Joerg Jaspert <joerg@debian.org> | 2008-10-21 23:35:12 +0200 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2008-10-21 23:35:12 +0200 |
commit | b16c9c2ea8f24d726e73173daafdb35ebcb58307 (patch) | |
tree | b986a46a32e210004c4bd45e4b192ccefbf97c45 | |
parent | 682a54a87a71580c8e0d93bdba52977d4e8404c8 (diff) |
common
return
Signed-off-by: Joerg Jaspert <joerg@debian.org>
-rw-r--r-- | etc/common | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -85,6 +85,7 @@ signal () { ssh $SSH_OPTIONS -i "${SSHKEY}" -o"user ${USERNAME}" -${SSHPROTO} "${HOSTNAME}" "${PUSHARGS} ${PUSHARGS2}" >>"${LOGDIR}/${MIRROR}.log" 2>&1 else # Can't decide? Then you get nothing. + return fi } |