| // This is a javascript file for both mp4video.html and webmvideo.html. |
| |
| var videoAtStart = false; |
| var testvideo = document.getElementById('testvideo'); |
| |
| function playAndReload() { |
| // Reload video after playing for several seconds. |
| testvideo.addEventListener("timeupdate", function() { |
| if (testvideo.currentTime > 3) { |
| location.reload(); |
| }}); |
| |
| testvideo.play(); |
| videoAtStart = false; |
| } |
| |
| function contentLoaded() { |
| testvideo.addEventListener("loadeddata", function() { |
| if (testvideo.currentTime == 0) videoAtStart = true; }); |
| } |
| |
| document.addEventListener("DOMContentLoaded", contentLoaded); |