From 405bb231a0cb75e41fdcdf22ce268fe592a2edfd Mon Sep 17 00:00:00 2001
From: Stephen Smith <stephen@curii.com>
Date: Mon, 20 Sep 2021 14:28:27 -0400
Subject: [PATCH] 17229: Webshell don't update idle timer when timed out

Arvados-DCO-1.1-Signed-off-by: Stephen Smith <stephen@curii.com>
---
 public/webshell/index.html | 2 ++
 1 file changed, 2 insertions(+)

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