From 19ce4d44a5ead66896b2edd6533180e4bf0d45d1 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 21 Jul 2011 17:14:05 -0400 Subject: [PATCH] Don't block DrRacket if expansion exits abnormally. --- collects/typed-scheme/optimizer/tool/report.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/tool/report.rkt b/collects/typed-scheme/optimizer/tool/report.rkt index bc603b601f..43816f4a37 100644 --- a/collects/typed-scheme/optimizer/tool/report.rkt +++ b/collects/typed-scheme/optimizer/tool/report.rkt @@ -54,7 +54,8 @@ (channel-put done-chan 'done) ; let the rest of the program carry on (custodian-shutdown-all (current-custodian)))) ; kill ourselves (set! listener (start-recording #:level 'warning))) - void ; kill + (lambda () ; kill + (channel-put done-chan 'done)) (lambda (term k) (if (eof-object? term) (begin (set! log (stop-recording listener)) ; done, stash the log