this.headers = new Headers.Original(all.getStream());
String ctype = headers.get("content-type");
this.encoding = headers.get("content-transfer-encoding");
- if (!(encoding == null || encoding.equals("7bit") || encoding.equals("8bit") || encoding.equals("binary") ||
- encoding.equals("quoted-printable") || encoding.equals("base64"))) {
- // FIXME: "7BIT" is popular
+ String enc = this.encoding;
+ if (enc!=null) enc = enc.toLowerCase();
+ if (!(enc == null || enc.equals("7bit") || enc.equals("8bit") || enc.equals("binary") ||
+ enc.equals("quoted-printable") || enc.equals("base64"))) {
Log.warn(MIME.class, "unknown TransferEncoding \"" + encoding + "\"");
ctype = "application/octet-stream";
}