fix for wrong mime type in noload crawler

source/net/yacy/cora/document/analysis/Classification.java

@@ -193,18 +193,18 @@ public class Classification {
     }
 
     public static String ext2mime(final String ext) {
-        return mimeTable.getProperty(ext, "application/" + (ext == null || ext.length() == 0 ? "octet-stream" : ext));
+        return ext == null ? "application/octet-stream" : mimeTable.getProperty(ext.toLowerCase(), "application/" + (ext == null || ext.length() == 0 ? "octet-stream" : ext));
     }
 
     public static String ext2mime(final String ext, final String dfltMime) {
-        return mimeTable.getProperty(ext, dfltMime);
+        return ext == null ? "application/octet-stream" : mimeTable.getProperty(ext.toLowerCase(), dfltMime);
     }
 
     public static String url2mime(final MultiProtocolURI url, final String dfltMime) {
-        return ext2mime(url.getFileExtension(), dfltMime);
+        return url == null ? "application/octet-stream" : ext2mime(url.getFileExtension(), dfltMime);
     }
 
     public static String url2mime(final MultiProtocolURI url) {
-        return ext2mime(url.getFileExtension());
+        return url == null ? "application/octet-stream" : ext2mime(url.getFileExtension());
     }
 }

source/net/yacy/crawler/retrieval/Response.java

@@ -169,7 +169,7 @@ public class Response {
         // request and response headers may be zero in case that we process surrogates
         this.requestHeader = new RequestHeader();
         this.responseHeader = new ResponseHeader(200);
-        this.responseHeader.put(HeaderFramework.CONTENT_TYPE, "text/plain"); // tell parser how to handle the content
+        this.responseHeader.put(HeaderFramework.CONTENT_TYPE, Classification.ext2mime(request.url().getFileExtension(), "text/plain")); // tell parser how to handle the content
         if (!request.isEmpty()) this.responseHeader.put(HeaderFramework.CONTENT_LENGTH, Long.toString(request.size()));
         this.profile = profile;
         this.status = QUEUE_STATE_FRESH;