# HG changeset patch
# User wenzelm
# Date 1645366932 -3600
# Node ID 08bb0d32b2e34014256a0b78065a4452acc2c762
# Parent  a29d49a636edb5199d72fa18c3d55dacf87e3924
more robust mime_type;

diff -r a29d49a636ed -r 08bb0d32b2e3 src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Fri Feb 18 23:12:13 2022 +0100
+++ b/src/Pure/General/http.scala	Sun Feb 20 15:22:12 2022 +0100
@@ -8,6 +8,7 @@
 
 
 import java.io.{File => JFile}
+import java.nio.file.Files
 import java.net.{InetSocketAddress, URI, URL, URLConnection, HttpURLConnection}
 import com.sun.net.httpserver.{HttpExchange, HttpHandler, HttpServer}
 
@@ -38,8 +39,7 @@
   {
     val bytes = Bytes.read(file)
     val file_name = file.getName
-    val mime_type =
-      Option(URLConnection.guessContentTypeFromName(file_name)).getOrElse(default_mime_type)
+    val mime_type = Option(Files.probeContentType(file.toPath)).getOrElse(default_mime_type)
     Content(bytes, file_name = file_name, mime_type = mime_type)
   }