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