From e9eb1689e2f38ca1e5ddac107f10cb20744616fe Mon Sep 17 00:00:00 2001
From: mdipierro <massimo.dipierro@gmail.com>
Date: Sat, 20 Oct 2012 19:38:54 -0500
Subject: [PATCH] fixed a problem with capitalization in wiki

---
 VERSION        | 2 +-
 gluon/tools.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/VERSION b/VERSION
index 827cea5a..d0eec140 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-Version 2.1.1 (2012-10-20 15:27:09) dev
+Version 2.1.1 (2012-10-20 19:38:48) dev
diff --git a/gluon/tools.py b/gluon/tools.py
index 3b20d71d..580d4037 100644
--- a/gluon/tools.py
+++ b/gluon/tools.py
@@ -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()