mirror of https://github.com/WikiTeam/wikiteam
Catch unexpected API errors in getPageTitlesAPI
Apparently the initial JSON test is not enough, the JSON can be broken or unexpected in other ways/points. Fallback to the old scraper in such a case. Fixes https://github.com/WikiTeam/wikiteam/issues/295 , perhaps. If the scraper doesn't work for the wiki, the dump will fail entirely, even if maybe the list of titles was almost complete. A different solution may be in order.pull/319/head
parent
59c4c5430e
commit
1ff5af7d44
Loading…
Reference in New Issue