Class WorkspaceManager


  • public class WorkspaceManager
    extends Object
    • Method Detail

      • hasWorkspace

        public boolean hasWorkspace​(String workspaceId)
      • removeWorkspace

        public void removeWorkspace​(Workspace workspace)
      • updateStorage

        public void updateStorage()
        Checks if the time for the store cycle exceeded and runs the store process, if necessary
      • storeSettings

        public void storeSettings()
        stores the settings immediately to disk