[gimp-web/wip/Jehan/fix-ci] Flush!

[Jehan <jehanp src gnome org>]

commit 54e37007dcf62628d58ef8464c69591601c3fe5e
Author: Jehan <jehan girinstud io>
Date:   Sun May 1 11:42:28 2022 +0200

    Flush!

 tools/downloads/gimp-check-mirrors.py | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/tools/downloads/gimp-check-mirrors.py b/tools/downloads/gimp-check-mirrors.py
index 041169f7..2e51e972 100755
--- a/tools/downloads/gimp-check-mirrors.py
+++ b/tools/downloads/gimp-check-mirrors.py
@@ -161,6 +161,7 @@ for local_uri in local_uris:
             except OSError as error:
                 error_count += 1
                 print(str(error.strerror) + ' : ' + mirror_uri)
+            sys.stdout.flush()
         print()
 
 if error_count == 0: