server/sources/__init__.py
changeset 8695 358d8bed9626
parent 8674 001c1592060a
child 8696 0bb18407c053
--- a/server/sources/__init__.py	Thu Feb 14 15:39:23 2013 +0100
+++ b/server/sources/__init__.py	Thu Feb 14 15:38:25 2013 +0100
@@ -177,7 +177,7 @@
                 # type check
                 try:
                     value = configuration.convert(value, optdict, optname)
-                except Exception, ex:
+                except Exception as ex:
                     msg = unicode(ex) # XXX internationalization
                     raise ValidationError(eid, {role_name('config', 'subject'): msg})
             processed[optname] = value