pvpd_player.js 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. function setup_playback(description) {
  2. console.log(description);
  3. player = document.getElementById("player");
  4. filteredOptions = filterOptions(description.entries);
  5. if(filterOptions.length == 0){
  6. alert("Sorry, no available codecs are playable on your device/web browser.");
  7. return;
  8. }
  9. player.src = filteredOptions[0].relativePath;
  10. qualitySelector = document.getElementById("quality-selector");
  11. filteredOptions.forEach(option => {
  12. opt = document.createElement("option")
  13. opt.value = option.relativePath;
  14. opt.innerHTML = option.label;
  15. qualitySelector.appendChild(opt);
  16. });
  17. }
  18. function qualitySelected() {
  19. qualitySelector = document.getElementById("quality-selector");
  20. player = document.getElementById("player");
  21. time = player.currentTime;
  22. paused = player.paused;
  23. player.src = qualitySelector.value;
  24. player.currentTime = time;
  25. if(!paused) {
  26. player.play();
  27. }
  28. }
  29. function filterOptions(options) {
  30. player = document.getElementById("player");
  31. return options.filter(o => player.canPlayType(o.mimetypeWithCodec));
  32. }