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

adjust the synchronization in check syntax for reading doc results to

Browse Source 
cope with the case where the thread has been killed (the nacks are
apparently not triggered on thread death in some cases)

(optimistically) closes PR 12427
This commit is contained in:
Robby Findler 2011-12-06 16:08:36 -06:00
parent 2899fd0903
commit 8f12372b17
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/drracket/private/syncheck/xref.rkt
View File

@ -22,7 +22,7 @@
(thread
(λ ()
(let loop ()
(define-values (binding-info resp-chan nack-evt) (apply values (channel-get req-chan)))
(define-values (binding-info resp-chan nack-evt requesting-thread) (apply values (channel-get req-chan)))
(define xref (force delayed-xref))
(define resp
(and xref
@ -36,7 +36,8 @@
path
tag)))))))))
(sync (channel-put-evt resp-chan resp)
nack-evt)
nack-evt
(thread-dead-evt requesting-thread))
(loop)))))
;; this function is called from a thread that might be killed
@ -47,5 +48,5 @@
(nack-guard-evt
(λ (nack-evt)
(define resp-chan (make-channel))
(channel-put req-chan (list binding-info resp-chan nack-evt))
(channel-put req-chan (list binding-info resp-chan nack-evt (current-thread)))
resp-chan))))