# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1490232904 25200
# Node ID f8410cd802adec3a61cff9461feb4cdc75ed4d91
# Parent  e0127ea76516bfdeb765f2853eee15dffcc75622
web: Properly handle user profile URL if the username is not simple ASCII.

diff -r e0127ea76516 -r f8410cd802ad wikked/views/__init__.py
--- a/wikked/views/__init__.py	Wed Mar 22 17:51:41 2017 -0700
+++ b/wikked/views/__init__.py	Wed Mar 22 18:35:04 2017 -0700
@@ -1,3 +1,4 @@
+import urllib.parse
 import functools
 from flask import request, render_template, url_for
 from flask.ext.login import current_user
@@ -56,7 +57,7 @@
 def add_auth_data(data):
     username = current_user.get_id()
     if current_user.is_authenticated():
-        user_page_url = 'user:/%s' % username.title()
+        user_page_url = 'user:/%s' % urllib.parse.quote(username.title())
         data['auth'] = {
                 'is_logged_in': True,
                 'username': username,