5135: Workbench consistently orders modal buttons.

[arvados.git] / apps / workbench / app / views / users / _manage_virtual_machines.html.erb

diff --git a/apps/workbench/app/views/users/_manage_virtual_machines.html.erb b/apps/workbench/app/views/users/_manage_virtual_machines.html.erb
index 36cab183f3abd08d85dd14afca83bb19b2428097..c6190ec5e142198aef4a4227d42027daee947841 100644 (file)
--- a/apps/workbench/app/views/users/_manage_virtual_machines.html.erb
+++ b/apps/workbench/app/views/users/_manage_virtual_machines.html.erb
@@ -44,6 +44,8 @@
 
     <p><i>~/.ssh/config:</i></p>
     <pre>Host *.arvados
+      TCPKeepAlive yes
+      ServerAliveInterval 60
       ProxyCommand ssh -p2222 turnout@switchyard.<%= current_api_host || 'xyzzy.arvadosapi.com' %> -x -a $SSH_PROXY_FLAGS %h
     </pre>
   <% end %>