Since switching to requests for generate_family_file, http://wiki.musicbrainz.org times out regularly, but not always.
https://travis-ci.org/wikimedia/pywikibot-core/builds/77988298
https://travis-ci.org/wikimedia/pywikibot-core/builds/77988260
Since switching to requests for generate_family_file, http://wiki.musicbrainz.org times out regularly, but not always.
https://travis-ci.org/wikimedia/pywikibot-core/builds/77988298
https://travis-ci.org/wikimedia/pywikibot-core/builds/77988260
This script is often used before user-config.py exists.
Should we increase the timeout somehow?
it is generate_family_file.py that is failing, so I believe it is only fetching the front page HTML and then API siteinfo (and then siteinfo's interwikimap).
We've never seen this before, so either their site is a bit off at the moment, or its always had timeout issues and we've not noticed because we've havent specified a timeout.