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();
}
