possible fix for PR9628 and PR9615
svn: r10913
This commit is contained in:
parent
dccc1337a2
commit
629cbc1d92
|
@ -263,7 +263,8 @@
|
||||||
(queue-callback
|
(queue-callback
|
||||||
(λ ()
|
(λ ()
|
||||||
(send* rep (insert-warning "\nInteractions disabled.")
|
(send* rep (insert-warning "\nInteractions disabled.")
|
||||||
(set-show-no-user-evaluation-message? #f))
|
(set-show-no-user-evaluation-message? #f)
|
||||||
|
(highlight-errors/exn exn))
|
||||||
(semaphore-post s))))
|
(semaphore-post s))))
|
||||||
(semaphore-wait s))
|
(semaphore-wait s))
|
||||||
(custodian-shutdown-all (send rep get-user-custodian)))
|
(custodian-shutdown-all (send rep get-user-custodian)))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user