Properly unescape URLs for the dev server; resolves #68

Author: jimporter

Diff for: CHANGES.md

@@ -5,6 +5,7 @@
 ### Bug fixes
 
 - Fix support for Unicode in redirection templates
+- Properly decode paths in the development server
 
 ---
 

Diff for: mike/server.py

@@ -8,8 +8,8 @@
 from .app_version import version
 
 
-def _to_git_path(path):
-    path = posixpath.normpath(urlparse.urlsplit(path).path)
+def _to_git_path(url):
+    path = posixpath.normpath(urlparse.unquote(url.path))
     return path[1:]
 
 
@@ -29,10 +29,10 @@ def do_GET(self):
             self.wfile.write(body)
 
     def send_headers(self):
-        path = _to_git_path(self.path)
+        url = urlparse.urlsplit(self.path)
+        path = _to_git_path(url)
         try:
             if stat.S_ISDIR(git_utils.file_mode(self.branch, path)):
-                url = urlparse.urlsplit(self.path)
                 if not url.path.endswith('/'):
                     # Redirect the browser to a URL with a slash at the end,
                     # like Apache.