improved search filter

2024-10-27 18:49:23 +02:00
parent 06e507baae
commit eba9c47e59
2 changed files with 6 additions and 2 deletions
@@ -154,7 +154,10 @@ proc getfile {url} {
      } else {return {}}
    }
    https - http {
-      set hs [::http::geturl $url -binary 1 -keepalive 0 -timeout 10000]
+      set hs ""
+      while {$hs eq ""} {
+        set hs [::http::geturl $url -binary 1 -keepalive 0 -timeout 10000]
+      }
      if {[::http::ncode $hs] eq "200"} {
        return [::http::data $hs]
      } else {return {}}