From 9d6265d9aa193a5a84400f2d9a62c00487ccbb7c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 23 Nov 2014 19:03:44 -0600 Subject: [PATCH] make -k (kill program) clear pending io related to PR 14851 When sending a giant bytes via write-bytes, we can get into a situation where there are lots and lots of bytes inside the port that haven't yet been put into the repl's text% but that will, eventually, even though the program is dead. The commit clears out any such pending IO --- pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt index e12a69fc42..61bb84b72c 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt @@ -1209,6 +1209,9 @@ TODO (define/public (kill-evaluation) ; =Kernel=, =Handler= (when user-custodian (custodian-shutdown-all user-custodian)) + (clear-input-port) + (clear-box-input-port) + (clear-output-ports) (set! user-custodian #f)) (field (eval-thread-thunks null)