Class MirrorManager


  • public class MirrorManager
    extends java.lang.Object
    • Constructor Detail

      • MirrorManager

        public MirrorManager()
    • Method Detail

      • addMirror

        public void addMirror​(java.lang.String mirror)
      • addMirror

        public void addMirror​(java.lang.String mirror,
                              boolean enabled)
      • 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