Don't block DrRacket if expansion exits abnormally.
This commit is contained in:
parent
58fbd8ba75
commit
19ce4d44a5
|
@ -54,7 +54,8 @@
|
||||||
(channel-put done-chan 'done) ; let the rest of the program carry on
|
(channel-put done-chan 'done) ; let the rest of the program carry on
|
||||||
(custodian-shutdown-all (current-custodian)))) ; kill ourselves
|
(custodian-shutdown-all (current-custodian)))) ; kill ourselves
|
||||||
(set! listener (start-recording #:level 'warning)))
|
(set! listener (start-recording #:level 'warning)))
|
||||||
void ; kill
|
(lambda () ; kill
|
||||||
|
(channel-put done-chan 'done))
|
||||||
(lambda (term k)
|
(lambda (term k)
|
||||||
(if (eof-object? term)
|
(if (eof-object? term)
|
||||||
(begin (set! log (stop-recording listener)) ; done, stash the log
|
(begin (set! log (stop-recording listener)) ; done, stash the log
|
||||||
|
|
Loading…
Reference in New Issue
Block a user