Add a download status page, recording: #15

Merged
reynir merged 3 commits from dl-status into main 2024-11-01 11:01:52 +00:00
Showing only changes of commit 53af2665fa - Show all commits

View file

@ -729,8 +729,11 @@ stamp: %S
- list of current downloads - list of current downloads
- list of failed downloads - list of failed downloads
*) *)
let hashes = SM.cardinal disk.Disk.md5s in let archive_stats =
let archive_stats = Printf.sprintf "%u validated archives on disk" hashes in Fmt.str "<ul><li>%u validated archives on disk</li><li>%Lu bytes free</li></ul>"
(SM.cardinal disk.Disk.md5s)
(KV.free disk.Disk.dev)
in
let active_downloads = let active_downloads =
let header = "<h2>Active downloads</h2><ul>" in let header = "<h2>Active downloads</h2><ul>" in
let content = let content =