From cdf67d884fc84e065bf2e929f6a442ac88e90d74 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 9 Jul 2010 10:23:02 -0600 Subject: [PATCH] fix info-domain updating to recognize "info.ss" in addition to "info.rkt" which solves the problem of forgetting a Planet-based tool when a new Planet-based tool is installed (if the old tool used "info.ss" instead of "info.rkt") --- collects/setup/setup-unit.rkt | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/collects/setup/setup-unit.rkt b/collects/setup/setup-unit.rkt index bd12555ece..5570d2707a 100644 --- a/collects/setup/setup-unit.rkt +++ b/collects/setup/setup-unit.rkt @@ -723,12 +723,11 @@ (and (if (cc-root-dir cc) (relative-path? p) (complete-path? p)) - (file-exists? - (build-path - (if (cc-root-dir cc) - (build-path (cc-root-dir cc) p) - p) - "info.rkt")))))) + (let ([dir (if (cc-root-dir cc) + (build-path (cc-root-dir cc) p) + p)]) + (or (file-exists? (build-path dir "info.rkt")) + (file-exists? (build-path dir "info.ss")))))))) a) (list (? symbol? b) ...) c