// we simply transform between BaseUri and Mirror
string BaseUri; // the original mirror://... url
string Mirror; // the selected mirror uri (http://...)
- string MirrorFile; //
- bool HasMirrorFile;
+ vector<string> AllMirrors; // all available mirrors
+ string MirrorFile; // the file that contains the list of mirrors
+ bool DownloadedMirrorFile; // already downloaded this session
bool Debug;
protected:
- bool GetMirrorFile(string uri);
- bool SelectMirror();
+ bool DownloadMirrorFile(string uri);
+ string GetMirrorFileName(string uri);
+ bool InitMirrors();
+ bool SelectNextMirror();
bool Clean(string dir);
// we need to overwrite those to transform the url back