From 6b676f7513d2f03bb7bac0460c36fbdc27fe744d Mon Sep 17 00:00:00 2001
From: Tom Morris <tfmorris@gmail.com>
Date: Mon, 4 Mar 2013 17:45:34 -0500
Subject: [PATCH] Handle MIME media types which have charset param - fixes #685

---
 main/src/com/google/refine/importing/ImportingManager.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main/src/com/google/refine/importing/ImportingManager.java b/main/src/com/google/refine/importing/ImportingManager.java
index e1ef70f02..995ff6912 100644
--- a/main/src/com/google/refine/importing/ImportingManager.java
+++ b/main/src/com/google/refine/importing/ImportingManager.java
@@ -270,6 +270,7 @@ public class ImportingManager {
     
     static public String getFormat(String fileName, String mimeType) {
         String fileNameFormat = getFormatFromFileName(fileName);
+        mimeType = mimeType.split(";")[0];
         String mimeTypeFormat = mimeType == null ? null : getFormatFromMimeType(mimeType);
         if (mimeTypeFormat == null) {
             return fileNameFormat;