From 0320e65be05c6ac5460ace99d8330279aa34f54b Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Fri, 16 Mar 2018 11:45:28 +0100
Subject: [PATCH] Fix redirect loop in back.py

---
 back.py | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/back.py b/back.py
index 57c91f3..8afa00b 100644
--- a/back.py
+++ b/back.py
@@ -19,9 +19,17 @@ def anchor(func, cookie=cookie):
     return result
 
 
+def default_url(default, **url_args):
+    return url_for(default, **url_args)
+
+
 def url(default=default_view, cookie=cookie, **url_args):
-    return session.get(cookie, url_for(default, **url_args))
+    return session.get(cookie, default_url(default, **url_args))
 
 
 def redirect(default=default_view, cookie=cookie, **url_args):
-    return flask_redirect(url(default, cookie, **url_args))
+    print(request.url, request.url_rule, default, session.get(cookie))
+    target = url(default, cookie, **url_args)
+    if target == request.url:
+        target = default_url(default, **url_args)
+    return flask_redirect(target)
-- 
GitLab