Dokumentation in Arbeit: Eraser fertig dokumentiert, kleinere Anpassungen

ulrich

22 hours ago b6536f9b8b33f322f0a41f799cad973858125ea6

 src/de/uhilger/fm/Deflator.java

@@ -27,20 +27,17 @@
import java.util.zip.ZipOutputStream;

/**
 * Eine Klasse mit Methoden zum Packen von Dateien #
 * Packen von Dateien
 *
 * @author Ulrich Hilger, 15. Januar 2024
 */
public class Deflator {
  
  private final String STR_SLASH = "/";

  /* --------------- Ordner packen ----------------- */
  /**
   * Einen Ordner packen.
   *
   * Als Ziel wird eine neue Datei mit Dateiendung '.zip' erzeugt, die so heisst wie der Ordner, der
   * gapckt werden soll. Die Datei mit dem gepackten Ordnerinhalt wird in dem Ordner angelegt, der
   * gepackt werden soll. Die Datei mit dem gepackten Ordnerinhalt wird in dem Ordner angelegt, der
   * den zu packenden Ordner enthaelt.
   *
   * @param fName Name des zu packenden Ordners
@@ -53,7 +50,7 @@
      try {
        //String fName = getFileName(e);
        //logger.fine("fName: " + fName);
        if (fName.endsWith(STR_SLASH)) {
        if (fName.endsWith("/")) {
          File dir = new File(base, fName);
          if (dir.isDirectory()) {
            //logger.fine("absPath: " + dir.getAbsolutePath());