diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt index 742881473e..9f0c0d5a4e 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt @@ -1317,10 +1317,14 @@ TODO (set! user-eventspace-main-thread (current-thread)) (current-logger user-logger) + + (define user-plumber (make-plumber)) + (current-plumber user-plumber) (initialize-parameters snip-classes) (let ([drracket-exit-handler (λ (x) + (plumber-flush-all user-plumber) (parameterize-break #f (let ([s (make-semaphore)])