mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
If the web server is slow to start, we may need to retry the initial page load. Implement a retry system that will retry the initial load 4 times, after 1, 2, 3 and 4 seconds, before giving up and leaving the user with an error message and a link to retry manually.