diff options
author | Joerg Jaspert <joerg@debian.org> | 2008-10-22 00:27:23 +0200 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2008-10-22 00:27:23 +0200 |
commit | dd2645383348751592449b82efb95bd4cd3cbb17 (patch) | |
tree | 95bb3f1fb35d7b00fc5c089bb7b606f98720c302 /etc | |
parent | 001b1867e201f5351dad783dbbf2658d9df453c5 (diff) |
space. *sigh*
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'etc')
-rw-r--r-- | etc/common | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ signal () { if [ "xallx" = "x${PUSHTYPE}x" ]; then # Default normal "fire and forget" push ssh $SSH_OPTIONS -i "${SSHKEY}" -o"user ${USERNAME}" -${SSHPROTO} "${HOSTNAME}" "sync:all" >>"${LOGDIR}/${MIRROR}.log" 2>&1 & - elif [ "xstagedx" = "x{$PUSHTYPE}x"]; then + elif [ "xstagedx" = "x{$PUSHTYPE}x" ]; then # Want a staged push. Fine, lets do that PUSHARGS="" |