diff -r d901c36bcfce -r 358d8bed9626 web/request.py
--- a/web/request.py	Thu Feb 14 15:39:23 2013 +0100
+++ b/web/request.py	Thu Feb 14 15:38:25 2013 +0100
@@ -880,7 +880,7 @@
                 user, passwd = base64.decodestring(rest).split(":", 1)
                 # XXX HTTP header encoding: use email.Header?
                 return user.decode('UTF8'), passwd
-            except Exception, ex:
+            except Exception as ex:
                 self.debug('bad authorization %s (%s: %s)',
                            auth, ex.__class__.__name__, ex)
         return None, None