public class ServerConfig
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
createServerConfig(java.io.File file) |
static ServerConfig |
fromConfigFile(java.io.File file) |
DatabaseConnector |
getDatabaseConnector() |
java.lang.Class<? extends Location> |
getDefaultLocationClass() |
java.lang.String |
getNodeImageFileName(java.lang.Class c) |
PersistenceConnector |
getPersistenceConnector() |
java.lang.String |
getStartUpOtion(java.lang.String name) |
UserManager |
getUserManager() |
UsersConfig |
loadUsersConfig() |
public java.lang.String getStartUpOtion(java.lang.String name)
public java.lang.String getNodeImageFileName(java.lang.Class c)
public UserManager getUserManager()
public UsersConfig loadUsersConfig()
public PersistenceConnector getPersistenceConnector()
public DatabaseConnector getDatabaseConnector()
public java.lang.Class<? extends Location> getDefaultLocationClass()
public static void createServerConfig(java.io.File file)
public static ServerConfig fromConfigFile(java.io.File file)