Fixed cibuild: poll for started webserver instead of fixed sleep#928

Merged

bart-degreed merged 1 commit intomasterfrom

analyze-cibuild-errors

Jan 20, 2021

Commits on Jan 20, 2021

The cibuild was failing on documentation example generation. We had a fixed sleep of 10 seconds after starting the webserver, which turned out to be insufficient.
Bart Koelman
committed