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 27c7dc3625c5e00554f55538bcf5c77a806d1ecd..421d677530d88fefa0239e2aa388db70533517b2 100644 (file)
--- a/Robots/bkmk_rsimple.py
+++ b/Robots/bkmk_rsimple.py
@@ -144,9 +144,7 @@ class robot_simple(Robot):
                      if self.log: self.log("   no charset in Content-Type header")
                   if content_type == "text/html":
                      parser = parse_html(fname, charset, self.log)
-                     title = parser.title.replace('\r', '').replace('\n', ' ').strip()
-                     bookmark.real_title = parser.unescape(title)
-                     if self.log: self.log("   final title    : %s" % bookmark.real_title)
+                     bookmark.real_title = parser.title
                      if parser.refresh:
                         refresh = parser.refresh
                         try:
@@ -158,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