From b6792cf02e79b2376ffae13fae6dc225095469bf Mon Sep 17 00:00:00 2001
From: bbielsa <bgb7@njit.edu>
Date: Tue, 26 Oct 2021 18:43:28 -0400
Subject: [PATCH] Added default value for get_video_time() which was causing a
 bug in safari

---
 assets/js/player.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/assets/js/player.js b/assets/js/player.js
index ed9c62ee..2a0c6fd7 100644
--- a/assets/js/player.js
+++ b/assets/js/player.js
@@ -207,7 +207,7 @@ if (video_data.params.remember_position) {
 
     set_seconds_after_start(remeberedTime);
 
-    player.on("timeupdate", e => {
+    const updateTime = () => {
         const raw = player.currentTime();
         const time = Math.floor(raw);
 
@@ -215,7 +215,9 @@ if (video_data.params.remember_position) {
             save_video_time(time);
             lastUpdated = time;
         }
-    });
+    };
+
+    player.on("timeupdate", updateTime);
 }
 else {
     remove_all_video_times();
@@ -372,7 +374,7 @@ function get_video_time() {
         const all_video_times = get_all_video_times();
         const timestamp = all_video_times[videoId];
 
-        return timestamp;
+        return timestamp || 0;
     }
     catch {
         return 0;