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