17229: Patch shellinabox to cleanly close instead of sending cancel+eof

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

diff --git a/public/webshell/index.html b/public/webshell/index.html
index 42ef9a44e7b59d6d02d20a7a38fb9207bfcacbc3..028664c488f74b7f5dd8256d63e9a81390bdeab8 100644 (file)
--- a/public/webshell/index.html
+++ b/public/webshell/index.html
@@ -59,8 +59,8 @@
         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 {