scripts/redirect.py | raw changeset files shortlog |
1.1 --- a/scripts/redirect.py Thu Jul 18 20:23:42 2013 +0200 1.2 +++ b/scripts/redirect.py Fri Jul 19 16:25:35 2013 +0200 1.3 @@ -5,6 +5,7 @@ 1.4 wiki pages. 1.5 """ 1.6 1.7 +from urllib import quote 1.8 import cgi, os, sys 1.9 1.10 # Location of the mapping. 1.11 @@ -44,7 +45,7 @@ 1.12 sys.exit(0) 1.13 1.14 def redirect(pagename): 1.15 - location = "%s/%s" % (URL_PREFIX, pagename) 1.16 + location = "%s/%s" % (URL_PREFIX, quote(pagename)) 1.17 1.18 print """\ 1.19 Status: 302 Redirect to page