mozilla: stop playing on page reload and when already playing

diff --git a/projects/mozilla/vlcplugin.cpp b/projects/mozilla/vlcplugin.cpp
index bdcc2e768972888ddb94052e7f72f83134692aa6..41ecab27039f6d82a73602c51797c485a941cac1 100644 (file)
--- a/projects/mozilla/vlcplugin.cpp
+++ b/projects/mozilla/vlcplugin.cpp
@@ -495,6 +495,8 @@ VlcPlugin::~VlcPlugin()
 
     if( libvlc_media_player )
     {
+        if( playlist_isplaying() )
+            playlist_stop();
         events.unhook_manager();
         libvlc_media_player_release( libvlc_media_player );
     }

diff --git a/projects/mozilla/vlcplugin.h b/projects/mozilla/vlcplugin.h
index a14007fcd6e54339bc8a904cae3c3b70204f7127..754118bb851a0e6a43ea427fcc1a7f9f46e8e09b 100644 (file)
--- a/projects/mozilla/vlcplugin.h
+++ b/projects/mozilla/vlcplugin.h
@@ -237,6 +237,8 @@ public:
 
     void playlist_play()
     {
+        if( playlist_isplaying() )
+            playlist_stop();
         if( libvlc_media_player||playlist_select(0) )
             libvlc_media_player_play(libvlc_media_player);
     }