server/sources/__init__.py
changeset 8695 358d8bed9626
parent 8674 001c1592060a
child 8696 0bb18407c053
equal deleted inserted replaced
8694:d901c36bcfce 8695:358d8bed9626
   175                 raise ValidationError(eid, {role_name('config', 'subject'): msg})
   175                 raise ValidationError(eid, {role_name('config', 'subject'): msg})
   176             elif value is not None:
   176             elif value is not None:
   177                 # type check
   177                 # type check
   178                 try:
   178                 try:
   179                     value = configuration.convert(value, optdict, optname)
   179                     value = configuration.convert(value, optdict, optname)
   180                 except Exception, ex:
   180                 except Exception as ex:
   181                     msg = unicode(ex) # XXX internationalization
   181                     msg = unicode(ex) # XXX internationalization
   182                     raise ValidationError(eid, {role_name('config', 'subject'): msg})
   182                     raise ValidationError(eid, {role_name('config', 'subject'): msg})
   183             processed[optname] = value
   183             processed[optname] = value
   184         # cw < 3.10 bw compat
   184         # cw < 3.10 bw compat
   185         try:
   185         try: