From bcb05bc8cff11d687ceee1eb2eb288a7b9d5b483 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 16 Apr 2013 15:20:45 -0600
Subject: [PATCH] raco setup: protect against bad info-domain cache

---
 collects/setup/scribble.rkt | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/collects/setup/scribble.rkt b/collects/setup/scribble.rkt
index dea7ca8ec1..6010d3c989 100644
--- a/collects/setup/scribble.rkt
+++ b/collects/setup/scribble.rkt
@@ -149,8 +149,9 @@
                            infos)])
            (and (not (memq #f infos)) infos))))
   (define ((get-docs main-dirs) i rec)
-    (let ([s (validate-scribblings-infos (i 'scribblings))]
-          [dir (directory-record-path rec)])
+    (let* ([pre-s (and i (i 'scribblings))]
+           [s (validate-scribblings-infos pre-s)]
+           [dir (directory-record-path rec)])
       (if s
           (map (lambda (d)
                  (let* ([flags (cadr d)]
@@ -177,7 +178,7 @@
                s)
           (begin (setup-printf
                   "WARNING"
-                  "bad 'scribblings info: ~e from: ~e" (i 'scribblings) dir)
+                  "bad 'scribblings info: ~e from: ~e" pre-s dir)
                  null))))
   (log-setup-info "getting documents")
   (define docs