Closed craigsapp closed 1 year ago
Implemented at some time in the past.
The server is set at the bottom of https://github.com/craigsapp/website-polish-scores/blob/main/_includes/initialize/POPC2.js
And the list of primary/main server URLs are in https://github.com/craigsapp/website-polish-scores/blob/785d39ff/_config.yml#L12-L14
Although it would probably be better if the addresses of indexes were relative rather than absolute in the config file.
Primary data server: humdrum.nifc.pl
Mirror data server: https://data.nifc.humdrum.org
And probably enhance by adding a function to change the data server when using the website.
Set a primary and secondary location for downloading digital scores. When the primary server is down, automatically switch to the, or a, mirror site.