Convert redirect timeout to int if possible.

[bookmarks_db.git] / Robots / bkmk_rsimple.py

diff --git a/Robots/bkmk_rsimple.py b/Robots/bkmk_rsimple.py
index 77c7a150109509583c2eb3d5fb5f538d45806283..421d677530d88fefa0239e2aa388db70533517b2 100644 (file)
--- a/Robots/bkmk_rsimple.py
+++ b/Robots/bkmk_rsimple.py
@@ -156,6 +156,10 @@ class robot_simple(Robot):
                         except (IndexError, ValueError):
                            raise RedirectException("html", "Bad redirect to %s (%s)" % (url, refresh))
                         else:
+                           try:
+                              timeout = int(refresh.split(';')[0])
+                           except ValueError:
+                              pass # float timeout
                            raise RedirectException("html", "%s (%s sec)" % (url, timeout))
 
                      # Get favicon.ico