chiark / gitweb /
hacks/ssh: Trivial formatting change.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 20 Nov 2011 22:41:28 +0000 (22:41 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 20 Nov 2011 22:41:54 +0000 (22:41 +0000)
hacks/ssh

index 18f39ac0b18a6f94aa9cf42c398609594dcc751f..d8a46a42c50ca9b2638c663e159f2dbbe1a221b3 100755 (executable)
--- a/hacks/ssh
+++ b/hacks/ssh
@@ -175,7 +175,8 @@ case "$mode" in
     logfile=$SSH_LOGDIR/${login+"$login@"}"$host"${port+":$port"}.log
     if ! "$REAL_SSH" -Ocheck \
       ${port+-p$port} ${login+"$login@"}"$host" \
-      >/dev/null 2>&1; then
+      >/dev/null 2>&1
+    then
       "$REAL_SSH" -MNf "${masteropts[@]}" "$host" \
        </dev/null >/dev/null 2>$logfile
     fi