From fd5019ddea08153befd665c51a1a2ec045d8233f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 31 Aug 2011 20:26:31 -0500 Subject: [PATCH] added one more log line --- collects/drracket/private/expanding-place.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/drracket/private/expanding-place.rkt b/collects/drracket/private/expanding-place.rkt index ec4e805a2f..d4b302a417 100644 --- a/collects/drracket/private/expanding-place.rkt +++ b/collects/drracket/private/expanding-place.rkt @@ -44,6 +44,7 @@ (define (abort-job job) (custodian-shutdown-all (job-cust job)) + (log-info "expanding-place.rkt: kill") (place-channel-put (job-response-pc job) #f)) (struct exn:access exn:fail ())