Fixed PR 8919 (Problem with refreshing of individual manuals).
svn: r7326
This commit is contained in:
parent
124609d4c3
commit
de8ec8f1d5
|
@ -255,12 +255,11 @@
|
|||
(list
|
||||
"["
|
||||
`(a ((mzscheme
|
||||
; TODO: The path->bytes is rewritten as path->bytes
|
||||
; by xexpr->string (somewehere in the web-server)
|
||||
; Figure out how to avoid it.
|
||||
,(to-string/escape-quotes
|
||||
`((dynamic-require '(lib "refresh-manuals.ss" "help") 'refresh-manuals)
|
||||
(list (cons (bytes->path ,(path->bytes manual-name)) ,name))))))
|
||||
(list (cons ((dynamic-require '(lib "refresh-manuals.ss" "help") 'bytes-to-path)
|
||||
,(path->bytes manual-name))
|
||||
,name))))))
|
||||
,(string-constant plt:hd:refresh))
|
||||
"]" 'nbsp)
|
||||
(list))))]
|
||||
|
|
|
@ -12,7 +12,9 @@
|
|||
(lib "port.ss")
|
||||
(lib "thread.ss"))
|
||||
|
||||
(provide refresh-manuals)
|
||||
(provide refresh-manuals
|
||||
bytes-to-path)
|
||||
|
||||
|
||||
(define sc-refreshing-manuals (string-constant plt:hd:refreshing-manuals))
|
||||
(define sc-refresh-downloading... (string-constant plt:hd:refresh-downloading...))
|
||||
|
@ -75,6 +77,9 @@
|
|||
(unless success?
|
||||
(delete-local-plt-files tmp-directory))
|
||||
(kill-thread thd))))]))
|
||||
|
||||
; needed in "../private/manuals.ss" due to links with > getting mangled
|
||||
(define bytes-to-path bytes->path)
|
||||
|
||||
(define (make-local-doc-filename tmp-dir stub)
|
||||
(build-path tmp-dir (format "~a-doc.plt" stub)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user