From 2c987cd81e6aeb02b33e88971b77a6f7236c98d2 Mon Sep 17 00:00:00 2001
From: Vladimir Panteleev <git@thecybershadow.net>
Date: Sat, 27 Jul 2019 23:33:31 +0000
Subject: [PATCH] assets/scripts.js: Improve handling of pre-specified video
 src

Fixes behavior if HTML is edited to indicate the video source.
---
 assets/scripts.js | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/assets/scripts.js b/assets/scripts.js
index eede1b0..0ababa7 100644
--- a/assets/scripts.js
+++ b/assets/scripts.js
@@ -309,18 +309,24 @@ window.onload = function() {
 	var video_selector = document.getElementById("video");
 	var video_source_selector = document.getElementById("video-source");
 	var file_selector = document.getElementById("file-selector");
+	function startPlayback() {
+		file_selector.style.display = 'none';
+		playSegment(null);
+		video_selector.play();
+	}
 	if (video_source_selector.getAttribute("src") == '') {
 		console.log('no video');
 		file_selector.style.display = 'table';
 		document.getElementById("wrapper-video").style.display = 'none';
+	} else {
+		startPlayback();
 	}
 	document.getElementById('fileinput').addEventListener('change', function () {
 		var file = this.files[0];
 		var fileUrl = URL.createObjectURL(file);
 		video_selector.src = fileUrl;
-		video_selector.play();
-		file_selector.style.display = 'none';
 		document.getElementById("wrapper-video").style.display = 'block';
+		startPlayback();
 	}, false);
 
 	video_selector.ontimeupdate = ontimeupdate;