File size: 683 Bytes
4d1ebf3
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<!-- template.html -->
<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Gradio Video Pause Time</title>
</head>
<body>
    <video id="video" controls>
        <source src="{{VIDEO_URL}}" type="video/mp4">
        Your browser does not support the video tag.
    </video>
    <script>
        const video = document.getElementById("video");
        let pauseTime = null;

        video.addEventListener("pause", () => {
            pauseTime = video.currentTime;
        });

        function getPauseTime() {
            return pauseTime;
        }
    </script>
</body>
</html>