added support for legacy "?view=player&lectureid=<id>#content" style urls

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)