17229: Webshell don't update idle timer when timed out

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

diff --git a/public/webshell/index.html b/public/webshell/index.html
index 126962b6a764c6d49082a1a41d50a2eb9e4d8a17..42ef9a44e7b59d6d02d20a7a38fb9207bfcacbc3 100644 (file)
--- a/public/webshell/index.html
+++ b/public/webshell/index.html
@@ -61,6 +61,8 @@
           //logout
           sh.sendKeys('03'); // Ctrl + c
           sh.sendKeys('04'); // Ctrl + d
+          document.body.onmousemove = undefined;
+          document.body.onkeydown = undefined;
         } else {
           setTimeout(checkIdleTimer, 1000);
         }