add profiles to jhls

1 files changed, 3 insertions, 32 deletions

diff --git a/web/script/player/mod.ts b/web/script/player/mod.ts
index 52da454..caad781 100644
--- a/web/script/player/mod.ts
+++ b/web/script/player/mod.ts
@@ -4,35 +4,7 @@
     Copyright (C) 2023 metamuffin <metamuffin.org>
 */
 import { OVar, e } from "../jshelper/mod.ts";
-
-export interface Range { start: number, end: number }
-export interface JhlsMetadata {
-    tracks: JhlsTrack[],
-    duration: number,
-}
-export interface JhlsTrack {
-    info: SourceTrack,
-    segments: Range[],
-}
-export interface SourceTrack {
-    kind: SourceTrackKind,
-    name: string,
-    codec: string,
-    language: string,
-}
-export interface SourceTrackKind {
-    video?: {
-        width: number,
-        height: number,
-        fps: number,
-    },
-    audio?: {
-        channels: number,
-        sample_rate: number,
-        bit_depth: number,
-    },
-    subtitles?: boolean,
-}
+import { JhlsMetadata, JhlsTrack, TimeRange } from "./jhls.d.ts";
 
 const TARGET_BUFFER_DURATION = 15
 const MIN_BUFFER_DURATION = 1
@@ -148,7 +120,7 @@ function display_time(t: number): string {
     return (h ? h + "h" : "") + (m ? m + "m" : "") + (s ? s + "s" : "")
 }
 
-interface BufferRange extends Range { status: "buffered" | "loading" | "queued" }
+interface BufferRange extends TimeRange { status: "buffered" | "loading" | "queued" }
 class Player {
     public video = e("video")
     private media_source = new MediaSource();
@@ -240,10 +212,9 @@ class Player {
         await this.update(p)
         this.video.currentTime = p
     }
-
 }
 
-interface AppendRange extends Range { buf: ArrayBuffer, index: number, cb: () => void }
+interface AppendRange extends TimeRange { buf: ArrayBuffer, index: number, cb: () => void }
 class PlayerTrack {
     private source_buffer: SourceBuffer
     private current_load?: AppendRange