mozilla: workaround for libvlc media_player end of media list behavior

(cherry picked from commit 3b04148ead3a3fd39e4e9bb9b44030c2579fc88a)

diff --git a/projects/mozilla/test.html b/projects/mozilla/test.html
index b9085f3d586892fb00e032f07c2ad5a1c4b2079c..e73ffecdd6c1a48be0350d166161dda7977b4208 100644 (file)
--- a/projects/mozilla/test.html
+++ b/projects/mozilla/test.html
@@ -598,6 +598,7 @@ function onPlay()
 function onEnd()\r
 {\r
     document.getElementById("state").innerHTML = "End...";\r
+    doStop();\r
 }\r
 \r
 var liveFeedText = new Array("Live", "((Live))", "(( Live ))", "((  Live  ))");\r