1 files changed, 3 insertions, 2 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 7dfb0765..92279b02 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -128,7 +128,7 @@
         ExitOnForwardFailure = "yes";
       };
     };
-  "jump.gate2" = 
+  "jump.gate2" =
      { hostname = "gate2.tcs.ifi.lmu.de";
        user = "gkleen";
        identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de";
@@ -151,7 +151,7 @@
         ExitOnForwardFailure = "yes";
       };
     };
-  "jump.gate" = 
+  "jump.gate" =
      { hostname = "gate.tcs.ifi.lmu.de";
        user = "gkleen";
        identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de";
@@ -308,6 +308,7 @@
     { hostname = "mathw0g.mathinst.loc";
       extraOptions = {
         ControlPath = "none";
+        ExitOnForwardFailure = "yes";
         ServerAliveCountMax = "15";
         ServerAliveInterval = "2";
       };