From 0d463ded3c96d4586eecc684664679532204b92b Mon Sep 17 00:00:00 2001
From: Julian Rother <julianr@fsmpi.rwth-aachen.de>
Date: Sat, 29 Apr 2017 23:49:09 +0200
Subject: [PATCH] Fixed double-logout error, closes #277
---
server.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/server.py b/server.py
index 1e7bcab..c2c487a 100644
--- a/server.py
+++ b/server.py
@@ -509,7 +509,7 @@ def login():
@app.route('/internal/logout', methods=['GET', 'POST'])
def logout():
- session.pop('user')
+ session.pop('user', None)
return redirect(request.values.get('ref', url_for('index')))
@app.route('/internal/auth')
--
GitLab