From 90a098092d0d1f68b35a8cc037e94552f47cd23d Mon Sep 17 00:00:00 2001
From: Andreas <andreasv@fsmpi.rwth-aachen.de>
Date: Mon, 6 Feb 2017 13:41:42 +0100
Subject: [PATCH] added support for legacy
 "?view=player&lectureid=<id>#content" style urls

---
 server.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/server.py b/server.py
index 4a307ef..358e549 100644
--- a/server.py
+++ b/server.py
@@ -278,6 +278,9 @@ def index():
 	# handle legacy urls...
 	if 'course' in request.args:
 		return redirect(url_for('course', handle=request.args['course']),code=302)
+	if 'view' in request.args:
+		if (request.args['view'] == 'player') and ('lectureid' in request.args) :
+			return redirect(url_for('lecture', id=request.args['lectureid']),code=302)
 
 	start = date.today() - timedelta(days=1)
 	end = start + timedelta(days=7)
-- 
GitLab