From 5937bcbbf5ac6b43d75dc222e7af66b8ee054bb5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 24 Mar 2013 17:04:39 -0500 Subject: [PATCH] fix a race-condition --- collects/drracket/private/expanding-place.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/drracket/private/expanding-place.rkt b/collects/drracket/private/expanding-place.rkt index 388978afe2..fda534a214 100644 --- a/collects/drracket/private/expanding-place.rkt +++ b/collects/drracket/private/expanding-place.rkt @@ -88,6 +88,8 @@ (define abnormal-termination (make-channel)) (define the-source (or path "unsaved editor")) (define orig-cust (current-custodian)) + (define (stop-watching-abnormal-termination) + (channel-put normal-termination #t)) (define working-thd (parameterize ([current-custodian cust]) @@ -263,9 +265,6 @@ '()) (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)) (define (catch-and-log port sema)