Class ViewManager


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

      • ViewManager

        public ViewManager​(KeyLoader loader)
      • ViewManager

        public ViewManager​(java.lang.String configHome,
                           KeyLoader loader)
    • Method Detail

      • connect

        public void connect()
      • addServer

        public void addServer​(int id,
                              java.lang.String ip,
                              int port,
                              int portRR)
      • removeServer

        public void removeServer​(int id)
      • setF

        public void setF​(int f)
      • executeUpdates

        public void executeUpdates()
      • sendResponse

        public void sendResponse​(java.lang.Integer[] targets,
                                 VMMessage sm)
      • close

        public void close()