From 25aa3c8060b86fa7a9d1e539c2ac2048e1887eab Mon Sep 17 00:00:00 2001
From: Chris Hines <chris.hines@monash.edu>
Date: Mon, 22 Feb 2021 13:51:11 +1100
Subject: [PATCH] remove the sshsessid when shuting down agents etc
---
tes/apiendpoints.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/tes/apiendpoints.py b/tes/apiendpoints.py
index 3e419bf..22b35b2 100644
--- a/tes/apiendpoints.py
+++ b/tes/apiendpoints.py
@@ -93,6 +93,7 @@ class SSHAgent(Resource):
sshsess = SSHSession.get_sshsession()
sshsess.kill()
SSHSession.remove_sshsession()
+ session.pop('sshsessid', None)
return []
except Exception as e:
import traceback
--
GitLab