Ticket #37833: diff-disable-ffmpeg-gif-support.patch

src/io/cxx/CodecRegistry.cc

@@ -25 +25 @@
 #include <boost/filesystem.hpp>
 #include <boost/format.hpp>
 
+#include "bob/core/logging.h"
 #include "bob/io/CodecRegistry.h"
 
 #include<iostream>
@@ -68 +69 @@
     s_extension2description[extension] = description;
   }
   else {
-    boost::format m("extension already registered: %s");
-    m % extension;
+    boost::format m("extension already registered: %s - ignoring second registration with description `%s'");
+    m % extension % description;
+    bob::core::error << m.str() << std::endl;
     throw std::runtime_error(m.str());
   }
 

src/io/cxx/VideoFile.cc

@@ -260 +260 @@
   static std::string tmp[] = {
     ".bmp",
     ".dpx",
+    ".gif",
     ".jpeg", 
     ".jpg", 
     ".jp2",