+ try:
+ timeout = int(refresh.split(';')[0])
+ except (IndexError, ValueError):
+ timeout = None
+ if timeout is None:
+ raise RedirectException("html", "Bad redirect to %s (%s)" % (url, refresh))
+ else:
+ raise RedirectException("html", "%s (%d sec)" % (url, timeout))