From 84eac6defec80a33526f251c099fbbd1e86ae00f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 23 Sep 2015 10:42:14 -0400 Subject: [PATCH] Comment re: why package-url->useful-url isn't as useful as it could be --- src/site.rkt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/site.rkt b/src/site.rkt index 5981e0d..127b110 100644 --- a/src/site.rkt +++ b/src/site.rkt @@ -1166,6 +1166,14 @@ ;; Modified slightly to recognise additional ad-hockery ;; e.g. git://github.com/user/repo/ as well as ;; git://github.com/user/repo (note no trailing slash) +;; +;; N.B. this code is currently only used for the version of a package +;; just after saving it locally, before the package server catches up! +;; The package server uses its own version of this code and generates +;; its own source_url. In principle, TODO: ignore source_url from the +;; package server in cases where this code can do better. (Perhaps +;; fall back to the source_url from the package server.) +;; (define (package-url->useful-url pkg-url-str) (define pkg-url (string->url pkg-url-str))