public Boolean isSaveGameActivated() { return config.getServer().isSaveGameActivated(); }
public String getUserNamePattern() { return config.getServer().getUserNamePattern(); }
public String getMaxAiOpponents() { return config.getServer().getMaxAiOpponents(); }
public int getMaxSecondsIdle() { return config.getServer().getMaxSecondsIdle().intValue(); }
public int getMaxUserNameLength() { return config.getServer().getMaxUserNameLength().intValue(); }
public int getPort() { return config.getServer().getPort().intValue(); }
public int getMaxGameThreads() { return config.getServer().getMaxGameThreads().intValue(); }
public String getServerAddress() { return config.getServer().getServerAddress(); }
public String getServerName() { return config.getServer().getServerName(); }
public List<Plugin> getDeckTypes() { return config.getDeckTypes().getDeckType(); }
public List<Plugin> getDraftCubes() { return config.getDraftCubes().getDraftCube(); }
public List<GamePlugin> getTournamentTypes() { return config.getTournamentTypes().getTournamentType(); }
public List<GamePlugin> getGameTypes() { return config.getGameTypes().getGameType(); }
public List<Plugin> getPlayerTypes() { return config.getPlayerTypes().getPlayerType(); }