From cb2fb07b2479fe5e22d7253e7ba5c3a8d3851b61 Mon Sep 17 00:00:00 2001 From: blankie Date: Sat, 8 Oct 2022 22:46:38 +0700 Subject: [PATCH 1/2] ogg --- src/page-file.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/page-file.rkt b/src/page-file.rkt index 953d04f..d1a6765 100644 --- a/src/page-file.rkt +++ b/src/page-file.rkt @@ -36,7 +36,7 @@ [(eq? content-type #f) `""] [(regexp-match? #rx"^image/" content-type) `(img (@ (src ,(u-proxy-url image-url))))] - [(regexp-match? #rx"^audio/" content-type) + [(regexp-match? #rx"^audio/|^application/ogg$" content-type) `(audio (@ (src ,(u-proxy-url image-url)) (controls)))] [(regexp-match? #rx"^video/" content-type) `(video (@ (src ,(u-proxy-url image-url)) (controls)))] From 2cd489658af7104d95604fcce7eaeda7f0c46135 Mon Sep 17 00:00:00 2001 From: blankie Date: Sat, 8 Oct 2022 22:52:23 +0700 Subject: [PATCH 2/2] prefix --- src/page-file.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/page-file.rkt b/src/page-file.rkt index d1a6765..6fba971 100644 --- a/src/page-file.rkt +++ b/src/page-file.rkt @@ -118,7 +118,10 @@ (if (not (jp "/exists" media-detail #f)) (next-dispatcher) (response-handler - (define title (jp "/fileTitle" media-detail)) + (define title (jp "/fileTitle" media-detail "")) + (define title (if (non-empty-string? title) + (format "File:~a" title) + prefixed-title)) (define body (generate-results-page #:source-url source-url #:wikiname wikiname