// Get MIME type from file name extension, if possible
private String getMimeTypeForFile(String uri) {
int dot = uri.lastIndexOf('.');
String mime = null;
if (dot >= 0) {
mime = SimpleWebServer.MIME_TYPES.get(uri.substring(dot + 1).toLowerCase());
}
return mime == null ? SimpleWebServer.MIME_DEFAULT_BINARY : mime;
}
protected static void registerPluginForMimeType(
String[] indexFiles,
String mimeType,
WebServerPlugin plugin,
Map<String, String> commandLineOptions) {
if (mimeType == null || plugin == null) {
return;
}
if (indexFiles != null) {
for (String filename : indexFiles) {
int dot = filename.lastIndexOf('.');
if (dot >= 0) {
String extension = filename.substring(dot + 1).toLowerCase();
SimpleWebServer.MIME_TYPES.put(extension, mimeType);
}
}
SimpleWebServer.INDEX_FILE_NAMES.addAll(Arrays.asList(indexFiles));
}
SimpleWebServer.mimeTypeHandlers.put(mimeType, plugin);
plugin.initialize(commandLineOptions);
}
