open files with capital extensions as well. fixes #1354

This commit is contained in:
Daniel Gultsch 2015-08-23 21:00:51 +02:00
parent 8043833156
commit c19adebaf0
1 changed files with 1 additions and 1 deletions

View File

@ -458,7 +458,7 @@ public final class MimeUtils {
if (extension == null || extension.isEmpty()) { if (extension == null || extension.isEmpty()) {
return null; return null;
} }
return extensionToMimeTypeMap.get(extension); return extensionToMimeTypeMap.get(extension.toLowerCase());
} }
/** /**
* Returns true if the given extension has a registered MIME type. * Returns true if the given extension has a registered MIME type.