fixed a problem with capitalization in wiki

2012-10-20 19:38:54 -05:00
parent 0f446833c0
commit e9eb1689e2
2 changed files with 2 additions and 2 deletions
@@ -1 +1 @@
-Version 2.1.1 (2012-10-20 15:27:09) dev
+Version 2.1.1 (2012-10-20 19:38:48) dev
@@ -5082,7 +5082,7 @@ class Wiki(object):
            content.append(DIV(form, _class='w2p_wiki_form'))
            if request.vars.q:
                tags = [v.strip() for v in request.vars.q.split(',')]
-                tags = [v for v in tags if v]
+                tags = [v.lower() for v in tags if v]
        if tags or not query is None:
            db = self.auth.db
            count = db.wiki_tag.wiki_page.count()