]> git.phdru.name Git - bookmarks_db.git/blobdiff - Robots/bkmk_rforking.py
Test meta charset by looking in META HTTP-Equiv.
[bookmarks_db.git] / Robots / bkmk_rforking.py
index 849078e584a33abbb17cba4f6f74411a350e1aea..7c6961b5b63c800ad36db1be4fbed16413e92470 100644 (file)
@@ -24,7 +24,7 @@ subp_pipe = None
 def stop_subp(log):
    global check_subp, subp_pipe
    if check_subp:
-      log("   restarting hanging subprocess")
+      if log: log("   restarting hanging subprocess")
       del check_subp
    del subp_pipe
 
@@ -51,7 +51,7 @@ class robot_forking(Robot):
          bookmark.tempfname = self.tempfname
          subp_pipe.write_record(pickle.dumps(bookmark))
 
-         if check_subp.waitForPendingChar(900): # wait 15 minutes
+         if check_subp.waitForPendingChar(300): # wait 5 minutes
             new_b = pickle.loads(subp_pipe.read_record())
             for attr in ("error", "no_error",
                   "moved", "size", "md5", "real_title",