[gimp-web] tools: increase gimp-check-mirrors tool's timeout for http requests.

[Jehan <jehanp src gnome org>]

commit 6fddb9248d57e241c4e1e978e87ecec57e8ec34a
Author: Jehan <jehan girinstud io>
Date:   Wed Oct 20 15:28:52 2021 +0200

    tools: increase gimp-check-mirrors tool's timeout for http requests.
    
    One of the mirrors is slightly slower than others. Let's try to increase
    the timeout of our test. We may contact the mirror admins if checks
    still fail too often even after doing this.

 tools/downloads/gimp-check-mirrors.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/tools/downloads/gimp-check-mirrors.py b/tools/downloads/gimp-check-mirrors.py
index 208ab46b..31794b8a 100755
--- a/tools/downloads/gimp-check-mirrors.py
+++ b/tools/downloads/gimp-check-mirrors.py
@@ -125,7 +125,7 @@ for local_uri in local_uris:
             mirror_uri = line.strip() + local_uri
 
             try:
-                response = requests.head(url=mirror_uri, timeout=10, allow_redirects=True)
+                response = requests.head(url=mirror_uri, timeout=20, allow_redirects=True)
 
                 checksum_text = ''
                 if args.verify_checksum: