lowercase tracker name during roundup-server's cgi handling

We lowercase the tracker name when we store it in the config, we might
as well lowercase it on the incoming GET so it will match what we've
stored. This doesn't make the web interface truly case sensitive (which
would require a lot more work) but it will allow users to do something
like:

 roundup-server TaskManager=/var/tm
 wget http://server/TaskManager

and get something nicer than a 404.

This fixes [SF#1143803]

Author: Justus Pendleton

roundup/scripts/roundup_server.py

@@ -17,7 +17,7 @@
 
 """Command-line script that runs a server over roundup.cgi.client.
 
-$Id: roundup_server.py,v 1.93 2007-09-09 16:03:13 jpend Exp $
+$Id: roundup_server.py,v 1.94 2007-09-25 04:27:12 jpend Exp $
 """
 __docformat__ = 'restructuredtext'
 
@@ -312,7 +312,7 @@ def inner_run_cgi(self):
 
         # figure the tracker
         l_path = rest.split('/')
-        tracker_name = urllib.unquote(l_path[1])
+        tracker_name = urllib.unquote(l_path[1]).lower()
 
         # handle missing trailing '/'
         if len(l_path) == 2: