show dots as progress bar for titles fetching

archivebox/util.py

@@ -234,6 +234,7 @@ def fetch_page_title(url, default=True):
 
     try:
         sys.stdout.write('.')
+        sys.stdout.flush()
         html_content = urllib.request.urlopen(url, timeout=10).read().decode('utf-8')
         match = re.search('<title>(.*?)</title>', html_content)
         return match.group(1) if match else default or None