/**
* Erzeugt eine ZIP-datei mit allen Familiendaten (.fgf-Datei und Images).
*/
private void writeToZip(String filename) {
IOTools zip = new IOTools();
List<File> files = new ArrayList<File>();
List<String> names = new ArrayList<String>();
files.add(null);
names.add("family.fgf");
files.add(null);
names.add(Statics.OPTIONS_PROPERTIES);
List<File> images = getAllImages();
new File("images").mkdir();
for (File image : images) {
files.add(image);
names.add("images/" + image.getName());
}
// Noch als ZIP-Datei wegschreiben.
try {
zip.writeZipFile(filename, files, names, this);
}
catch (IOException exception) {
exception.printStackTrace();
SwtUtilities.sayError(GUI.instance.shell, "Fehler beim Schreiben der ZIP-Datei mit den Familiendaten!");
}