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

fixed a bug in help desk resetting of the cache

Browse Source 
svn: r5112

original commit: 57524d3b8c2e9d89a63c62bf0d46753b369079ec
This commit is contained in:
Robby Findler 2006-12-14 00:17:54 +00:00
parent d0b2adf4d8
commit a523a718de
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/help/private/search.ss
View File

@ -3,6 +3,7 @@
"colldocs.ss"
"path.ss"
"manuals.ss"
(lib "getinfo.ss" "setup")
(lib "list.ss")
(lib "plt-match.ss")
(lib "contract.ss")
@ -287,6 +288,8 @@
(string->list s)))))
(define (doc-collections-changed)
(reset-relevant-directories-state!)
(reset-doc-lists)
(set! doc-collection-dates (map (lambda (x) #f) doc-dirs))
(set! html-keywords (make-hash-table 'equal))
(set! html-indices (make-hash-table 'equal))