From ee56cfe2b4d46d5546a676c73a05236bace62f7e Mon Sep 17 00:00:00 2001
From: Joost Timmerman <joost@tmmrman.nl>
Date: Mon, 17 Jan 2022 14:24:50 +0100
Subject: [PATCH] Support audio mime (#574)

---
 .../com/sismics/util/mime/MimeTypeUtil.java   | 20 ++++++++++---------
 .../webapp/src/partial/docs/file.view.html    |  4 ++--
 2 files changed, 13 insertions(+), 11 deletions(-)

diff --git a/docs-core/src/main/java/com/sismics/util/mime/MimeTypeUtil.java b/docs-core/src/main/java/com/sismics/util/mime/MimeTypeUtil.java
index aa014cbb..427ae387 100644
--- a/docs-core/src/main/java/com/sismics/util/mime/MimeTypeUtil.java
+++ b/docs-core/src/main/java/com/sismics/util/mime/MimeTypeUtil.java
@@ -5,7 +5,8 @@ import org.apache.commons.compress.utils.IOUtils;
 
 import java.io.IOException;
 import java.io.InputStream;
-import java.io.UnsupportedEncodingException;
+import java.net.URLConnection;
+import java.nio.charset.StandardCharsets;
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.util.zip.ZipEntry;
@@ -26,11 +27,13 @@ public class MimeTypeUtil {
      * @throws IOException e
      */
     public static String guessMimeType(Path file, String name) throws IOException {
-        String mimeType;
-        try (InputStream is = Files.newInputStream(file)) {
-            byte[] headerBytes = new byte[64];
-            is.read(headerBytes);
-            mimeType = guessMimeType(headerBytes, name);
+        String mimeType = URLConnection.getFileNameMap().getContentTypeFor(name);
+        if (mimeType == null) {
+            try (InputStream is = Files.newInputStream(file)) {
+                final byte[] headerBytes = new byte[64];
+                is.read(headerBytes);
+                mimeType = guessMimeType(headerBytes, name);
+            }
         }
 
         return guessOpenDocumentFormat(mimeType, file);
@@ -42,10 +45,9 @@ public class MimeTypeUtil {
      * @param headerBytes File header (first bytes)
      * @param name File name
      * @return MIME type
-     * @throws UnsupportedEncodingException e
      */
-    public static String guessMimeType(byte[] headerBytes, String name) throws UnsupportedEncodingException {
-        String header = new String(headerBytes, "US-ASCII");
+    public static String guessMimeType(byte[] headerBytes, String name) {
+        String header = new String(headerBytes, StandardCharsets.US_ASCII);
 
         // Detect by header bytes
         if (header.startsWith("PK")) {
diff --git a/docs-web/src/main/webapp/src/partial/docs/file.view.html b/docs-web/src/main/webapp/src/partial/docs/file.view.html
index eef54062..ef796b37 100644
--- a/docs-web/src/main/webapp/src/partial/docs/file.view.html
+++ b/docs-web/src/main/webapp/src/partial/docs/file.view.html
@@ -41,8 +41,8 @@
        img-error="error = true"
        ng-show="!error && canDisplayPreview()" />
 
-  <!-- Video player -->
-  <a href class="video-overlay" ng-if="!error && file.mimetype.substring(0, 6) == 'video/'"
+  <!-- Media player -->
+  <a href class="video-overlay" ng-if="!error && (file.mimetype.substring(0, 6) == 'video/' || file.mimetype.substring(0, 6) == 'audio/')"
      ng-init="videoPlayer = false" ng-click="videoPlayer = true">
     <span class="fas fa-play-circle" ng-if="!videoPlayer"></span>
     <video ng-if="videoPlayer" autoplay="autoplay" loop="loop"