fix a race-condition
This commit is contained in:
parent
57f857b45a
commit
5937bcbbf5
|
@ -88,6 +88,8 @@
|
||||||
(define abnormal-termination (make-channel))
|
(define abnormal-termination (make-channel))
|
||||||
(define the-source (or path "unsaved editor"))
|
(define the-source (or path "unsaved editor"))
|
||||||
(define orig-cust (current-custodian))
|
(define orig-cust (current-custodian))
|
||||||
|
(define (stop-watching-abnormal-termination)
|
||||||
|
(channel-put normal-termination #t))
|
||||||
|
|
||||||
(define working-thd
|
(define working-thd
|
||||||
(parameterize ([current-custodian cust])
|
(parameterize ([current-custodian cust])
|
||||||
|
@ -263,9 +265,6 @@
|
||||||
'())
|
'())
|
||||||
(list-ref exn+loaded-paths 1))))))))
|
(list-ref exn+loaded-paths 1))))))))
|
||||||
|
|
||||||
(define (stop-watching-abnormal-termination)
|
|
||||||
(channel-put normal-termination #t))
|
|
||||||
|
|
||||||
(job cust response-pc working-thd stop-watching-abnormal-termination))
|
(job cust response-pc working-thd stop-watching-abnormal-termination))
|
||||||
|
|
||||||
(define (catch-and-log port sema)
|
(define (catch-and-log port sema)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user