wcs-extract : gestion des exceptions sur la détection du type de fichier

diff --git a/wcs/wcs-extract b/wcs/wcs-extract
index d124898..ec414a9 100755 (executable)
--- a/wcs/wcs-extract
+++ b/wcs/wcs-extract
@@ -136,9 +136,13 @@ def extract_data(formdef, output_directory):
                     extension = data.orig_filename.rpartition('.')[2].lower()
                 else: # il n'y a pas d'extension dans le nom de fichier
                     p = os.path.join(pub.app_dir, 'uploads', data.qfilename)
-                    #m = magicmime.from_file(p) => ce sera pour plus tard…
-                    m = magicmime.file(p).split()[0].strip(';')
-                    extension = mimetypes.guess_extension(m)
+                    try:
+                        #m = magicmime.from_file(p) => ce sera pour plus tard…
+                        m = magicmime.file(p).split()[0].strip(';')
+                        extension = mimetypes.guess_extension(m)
+                    except:
+                        logging.warning("Type de fichier inconnu pour '%s'.", p)
+                        extension = None
                     if extension is not None:
                         extension = extension[1:]
                     else: