From e2669e6c255549c47d5cbc1d576962994fe121a5 Mon Sep 17 00:00:00 2001
From: Patrick Jentsch <p.jentsch@uni-bielefeld.de>
Date: Mon, 23 Aug 2021 16:43:47 +0200
Subject: [PATCH] Add missing exception handler
---
app/socketio_events.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/app/socketio_events.py b/app/socketio_events.py
index f03e194c..614668ad 100644
--- a/app/socketio_events.py
+++ b/app/socketio_events.py
@@ -33,7 +33,10 @@ def socketio_disconnect():
' On disconnect the session id gets removed from the connected sessions
' list.
'''
- socketio_sessions.remove(request.sid)
+ try:
+ socketio_sessions.remove(request.sid)
+ except ValueError:
+ pass
@socketio.on('start_user_session')
--
GitLab