suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

raco setup: protect against bad info-domain cache

Browse Source
This commit is contained in:
Matthew Flatt 2013-04-16 15:20:45 -06:00
parent 17f2822a63
commit bcb05bc8cf
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/setup/scribble.rkt
View File

@ -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