* Add leading "/" to url.

* Remove extra "/" in case the database has extra leading or trailing slashes.
* Catch KeyError, not IndexError, since that's what gets thrown in the case I was thinking about.
 - Legacy-Id: 335

Author: fenner

ietf/redirects/views.py

@@ -10,7 +10,7 @@ def redirect(request, path="", script=""):
 	redir = Redirect.objects.get(cgi=script)
     except Redirect.DoesNotExist:
 	raise Http404
-    url = redir.url + "/"
+    url = "/" + redir.url + "/"
     (rest, remove) = (redir.rest, redir.remove)
     try:
 	cmd = redir.commands.all().get(command=request.REQUEST['command'])
@@ -21,14 +21,16 @@ def redirect(request, path="", script=""):
 	remove = cmd.suffix.remove
     except Command.DoesNotExist:
 	pass	# it's ok, there's no more-specific request.
-    except IndexError:
+    except KeyError:
 	pass	# it's ok, request didn't have 'command'.
     try:
 	url += rest % request.REQUEST
     except:
 	# rest had something in it that request didn't have, so just
 	# redirect to the root of the tool.
 	pass
+    # Be generous in what you accept: collapse multiple slashes
+    url = re.sub(r'/+', '/', url)
     if remove:
 	url = re.sub(re.escape(remove) + "/?$", "", url)
     return HttpResponseRedirect(url)