FileHandler Behandlung gemeinsamer Response Headers

ulrich

2021-03-26 7f3fef074d715a94fe6330e8b350280c18208e9e

FileHandler Behandlung gemeinsamer Response Headers

 src/de/uhilger/minsrv/handler/FileHandler.java

@@ -26,18 +26,24 @@
import java.io.InputStream;
import java.io.OutputStream;
import java.nio.charset.StandardCharsets;
import java.nio.file.Files;
import java.nio.file.Path;
import java.text.SimpleDateFormat;
import java.util.ArrayList;
import java.util.Date;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import java.util.logging.Logger;

/**
 * Die Klasse FileHandler dient zur Auslieferung von Dateiinhalten über
 * HTTP.
 *
 * 
 * Für das Streaming über HTTP wird die 
 * Auslieferung von Teilinhalten mit dem Accept-Ranges-Header angeboten und 
 * via Range-Header unterstützt.
 * (vgl. https://developer.mozilla.org/en-US/docs/Web/HTTP/Range_requests)
 * 
 * @author Ulrich Hilger
 * @version 0.1, 25. März 2021
 */
@@ -113,7 +119,7 @@
    if (file.exists()) {
      OutputStream os = e.getResponseBody();
      Headers headers = e.getResponseHeaders();
      headers.add(ACCEPT_RANGES_HEADER, "bytes");
      setCommonHeaders(headers, file);
      e.sendResponseHeaders(SC_OK, file.length());
      InputStream in = new FileInputStream(file);
      int b = in.read();
@@ -158,7 +164,7 @@
      InputStream is = new FileInputStream(file);
      OutputStream os = e.getResponseBody();
      Headers resHeaders = e.getResponseHeaders();
      resHeaders.add(ACCEPT_RANGES_HEADER, "bytes");
      setCommonHeaders(resHeaders, file);
      long responseLength = 0;
      long start = 0;
      long end;
@@ -178,10 +184,6 @@
        resHeaders.add(CONTENT_RANGE_HEADER, sb.toString());
        responseLength += (end - start);
      }
      resHeaders.add(CONTENT_TYPE, "video/mp4");
      SimpleDateFormat sdf = new SimpleDateFormat("EEE, dd MMM yyyy HH:mm:ss zzz");
      Date date = new Date(file.lastModified());
      resHeaders.add(LAST_MODIFIED_DATE_HEADER, sdf.format(date));
      e.sendResponseHeaders(SC_PARTIAL_CONTENT, responseLength);
      if (start > 0) {
        is.skip(start);
@@ -200,6 +202,17 @@
      sendNotFound(e, file.getName());
    }
  }
  
  private void setCommonHeaders(Headers resHeaders, File file) throws IOException {
    resHeaders.add(ACCEPT_RANGES_HEADER, "bytes");
    String mimeType = Files.probeContentType(file.toPath());
    if(mimeType != null) {
      resHeaders.add(CONTENT_TYPE, mimeType);
    }
    SimpleDateFormat sdf = new SimpleDateFormat("EEE, dd MMM yyyy HH:mm:ss zzz");
    Date date = new Date(file.lastModified());
    resHeaders.add(LAST_MODIFIED_DATE_HEADER, sdf.format(date));
  }

  /**
   * Die Byte-Ranges aus dem Range-Header ermitteln.