From 2cd489658af7104d95604fcce7eaeda7f0c46135 Mon Sep 17 00:00:00 2001 From: blankie Date: Sat, 8 Oct 2022 22:52:23 +0700 Subject: [PATCH] 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