From b4ebdb8947fa8cb53bb4d00ac2cd3236d8c6f8c7 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 22 Aug 2019 12:23:26 -0700 Subject: [PATCH] make envvars case-insensitive --- pollen/private/cache-utils.rkt | 2 +- pollen/private/ts.rktd | 2 +- pollen/scribblings/setup.scrbl | 2 ++ 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/pollen/private/cache-utils.rkt b/pollen/private/cache-utils.rkt index 6b2ef0e..f210fa4 100644 --- a/pollen/private/cache-utils.rkt +++ b/pollen/private/cache-utils.rkt @@ -33,7 +33,7 @@ ;; user-designated files to track (map ->string (setup:cache-watchlist source-path))))) (define env-rec (for/list ([env-name (in-list (cons default-env-name (sort (setup:envvar-watchlist source-path) bytesstring env-name))) [#false #false] [str (string-downcase (->string str))])))) (define poly-flag (and (has-inner-poly-ext? source-path) (current-poly-target))) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index b76ba5e..304d42d 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1566501292 +1566501806 diff --git a/pollen/scribblings/setup.scrbl b/pollen/scribblings/setup.scrbl index b77d653..62c3f88 100644 --- a/pollen/scribblings/setup.scrbl +++ b/pollen/scribblings/setup.scrbl @@ -125,6 +125,8 @@ If the cache can't find a certain file on the watchlist, no error will arise. Th @defoverridable[envvar-watchlist (listof string?)]{List of extra environment variables that are used in cache keys. Separate caches will be maintained for each distinct value of an environment variable. @secref["The_POLLEN_environment_variable"] is always used, regardless of how this value is set. +Both the names and the values of environment variables are case-insensitive, so @racket["PUB"] and @racket["pub"] and @racket["pUb"] are all treated the same. + @history[#:added "2.1"]}