X-Git-Url: https://git.arvados.org/arvados-workbench2.git/blobdiff_plain/ea76bd74a7d11f6aa2f65da3c56251a4aa40cf12..134cf300692c9f09f1a79d02295e1d6b7242f32d:/public/webshell/index.html

diff --git a/public/webshell/index.html b/public/webshell/index.html
index 126962b6..028664c4 100644
--- 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);
         }