Don't use the media library in the mozilla plugin

diff --git a/mozilla/vlcplugin.cpp b/mozilla/vlcplugin.cpp
index ada7d870721cbc96ae9d99bdfd566d533a244895..57ddeaf76ada75a683b78bdc339ad20fa651eeb7 100644 (file)
--- a/mozilla/vlcplugin.cpp
+++ b/mozilla/vlcplugin.cpp
@@ -71,6 +71,7 @@ NPError VlcPlugin::init(int argc, char* const argn[], char* const argv[])
         "vlc",
         "-vv",
         "--no-stats",
+        "--no-media-library",
         "--intf", "dummy",
     };
     int ppsz_argc = 5;