9587: include "owner" in trash rows; update trash icon.

[arvados.git] / apps / workbench / public / webshell / shell_in_a_box.js

diff --git a/apps/workbench/public/webshell/shell_in_a_box.js b/apps/workbench/public/webshell/shell_in_a_box.js
index 51a5792a44df2fdda88624c4a788c8065dcc8bf1..0c7e800ef8e71aa308fb8d2af6f51b0498d0e8ac 100644 (file)
--- a/apps/workbench/public/webshell/shell_in_a_box.js
+++ b/apps/workbench/public/webshell/shell_in_a_box.js
@@ -134,7 +134,9 @@ ShellInABox.prototype.sessionClosed = function() {
       }
       this.vt100('Session closed.');
     }
-    this.showReconnect(true);
+    // Revealing the "reconnect" button is commented out until we hook
+    // up the username+token auto-login mechanism to the new session:
+    //this.showReconnect(true);
   } catch (e) {
   }
 };