public void changeCurrentServer(Server server) {
if (server != model.getCurrentServer()) {
// Wenn der Server der gleiche ist, wurde nur das GUI geupdated, keine Aktion vom User
if (!model.isLoggedIn()) {
model.setCurrentServer(server);
model.fireChange();
}
}
}
public void deleteKnownServer() {
Server currentServer = model.getCurrentServer();
if (currentServer != null) {
try {
model.removeServer(currentServer);
File serverDir = new File(settings.getLocalFolder(), "servers");
File serverFile = new File(serverDir, currentServer.getName() + ".server");
Files.delete(serverFile.toPath());
} catch (IOException ex) {
model.addErrorMessage("Server-Datei konnte nicht gelöscht werden");
logger.log(Level.SEVERE, null, ex);
}
model.fireChange();
}
}
