Class WalkFetchConnection.RemotePack

  • Enclosing class:
    WalkFetchConnection

    private class WalkFetchConnection.RemotePack
    extends java.lang.Object
    • Field Detail

      • packName

        final java.lang.String packName
      • idxName

        final java.lang.String idxName
      • tmpIdx

        java.io.File tmpIdx
    • Method Detail

      • openIndex

        void openIndex​(ProgressMonitor pm)
                throws java.io.IOException
        Throws:
        java.io.IOException
      • downloadPack

        void downloadPack​(ProgressMonitor monitor)
                   throws java.io.IOException
        Throws:
        java.io.IOException