public void openLocalFolder() { try { File localFolder = settings.getLocalFolder(); Desktop.getDesktop().open(localFolder); } catch (IOException ex) { model.addErrorMessage("Verzeichnis konnte nicht geöffnet werden"); } }
public void changeAutoupdateInterval(String interval) { try { int newInterval = Integer.parseInt(interval); settings.setAutoupdateInterval(newInterval); } catch (NumberFormatException ex) { model.addErrorMessage("Du musst eine Zahl als Wert angeben!"); } model.fireChange(); }
public void changeLocalFolder(File folder) { try { File oldFolder = settings.getLocalFolder(); Files.move(oldFolder.toPath(), folder.toPath(), StandardCopyOption.REPLACE_EXISTING); settings.setLocalFolder(folder); } catch (IOException ex) { model.addErrorMessage("Verzeichnis konnte nicht geändert werden"); } 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(); } }
private void instantLogout() { model.addErrorMessage("Deine Verbindung zum Server wurde unterbrochen"); model.setLoggedIn(false); model.fireChange(); }