Class MirrorManager
- java.lang.Object
-
- pro.gravit.launchserver.manangers.MirrorManager
-
public class MirrorManager extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classMirrorManager.Mirror
-
Field Summary
Fields Modifier and Type Field Description protected java.util.ArrayList<MirrorManager.Mirror>list
-
Constructor Summary
Constructors Constructor Description MirrorManager()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddMirror(java.lang.String mirror)voidaddMirror(java.lang.String mirror, boolean enabled)voiddisableMirror(int index)voiddownloadZip(java.nio.file.Path path, java.lang.String mask, java.lang.Object... args)booleandownloadZip(MirrorManager.Mirror mirror, java.nio.file.Path path, java.lang.String mask, java.lang.Object... args)voidenableMirror(int index)MirrorManager.MirrorgetDefaultMirror()com.google.gson.JsonElementjsonRequest(com.google.gson.JsonElement request, java.lang.String method, java.lang.String mask, java.lang.Object... args)com.google.gson.JsonElementjsonRequest(MirrorManager.Mirror mirror, com.google.gson.JsonElement request, java.lang.String method, java.lang.String mask, java.lang.Object... args)voidsetDefaultMirror(MirrorManager.Mirror m)intsize()
-
-
-
Field Detail
-
list
protected final java.util.ArrayList<MirrorManager.Mirror> list
-
-
Method Detail
-
addMirror
public void addMirror(java.lang.String mirror)
-
addMirror
public void addMirror(java.lang.String mirror, boolean enabled)
-
getDefaultMirror
public MirrorManager.Mirror getDefaultMirror()
-
setDefaultMirror
public void setDefaultMirror(MirrorManager.Mirror m)
-
disableMirror
public void disableMirror(int index)
-
enableMirror
public void enableMirror(int index)
-
size
public int size()
-
downloadZip
public boolean downloadZip(MirrorManager.Mirror mirror, java.nio.file.Path path, java.lang.String mask, java.lang.Object... args) throws java.io.IOException
- Throws:
java.io.IOException
-
downloadZip
public void downloadZip(java.nio.file.Path path, java.lang.String mask, java.lang.Object... args) throws java.io.IOException- Throws:
java.io.IOException
-
jsonRequest
public com.google.gson.JsonElement jsonRequest(MirrorManager.Mirror mirror, com.google.gson.JsonElement request, java.lang.String method, java.lang.String mask, java.lang.Object... args) throws java.io.IOException
- Throws:
java.io.IOException
-
jsonRequest
public com.google.gson.JsonElement jsonRequest(com.google.gson.JsonElement request, java.lang.String method, java.lang.String mask, java.lang.Object... args) throws java.io.IOException- Throws:
java.io.IOException
-
-