18123: Add isActive checkbox to group member list for user members

[arvados-workbench2.git] / public / webshell / index.html

diff --git a/public/webshell/index.html b/public/webshell/index.html
index 126962b6a764c6d49082a1a41d50a2eb9e4d8a17..028664c488f74b7f5dd8256d63e9a81390bdeab8 100644 (file)
--- a/public/webshell/index.html
+++ b/public/webshell/index.html
@@ -59,8 +59,10 @@
         var lastTime = localStorage.getItem('lastActiveTimestamp');
         if (currentTime - lastTime > idleTimeoutMs) {
           //logout
-          sh.sendKeys('03'); // Ctrl + c
-          sh.sendKeys('04'); // Ctrl + d
+          sh.reset();
+          sh.sessionClosed();
+          document.body.onmousemove = undefined;
+          document.body.onkeydown = undefined;
         } else {
           setTimeout(checkIdleTimer, 1000);
         }