mozilla: workaround for libvlc media_player end of media list behavior

diff --git a/projects/mozilla/test.html b/projects/mozilla/test.html
index 2f6086089134f97a81cde1cd358c279909349447..5c26ced69e0051d3b249c1503ed5e43a6df247e3 100644 (file)
--- a/projects/mozilla/test.html
+++ b/projects/mozilla/test.html
@@ -670,6 +670,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