Update FileMirrorsManager.java

This commit is contained in:
Andrea Cavalli 2020-11-11 11:41:25 +01:00
parent 961b355068
commit c1754dab52
1 changed files with 1 additions and 0 deletions

View File

@ -30,6 +30,7 @@ import org.warp.filesponge.value.MirrorURI;
public class FileMirrorsManager {
private final Set<MirrorURI> availableMirrors = new HashSet<>();
/**
* This map must be persistent
*/