From a1f94c4bd172334ddcc2a744502074991502f248 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 11 Nov 2011 16:04:37 -0600 Subject: [PATCH] adjust planet logging so that it doesn't try to log when the logging thread is dead (and thus doesn't deadlock in drdr (hopefully)) --- collects/planet/terse-info.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/planet/terse-info.rkt b/collects/planet/terse-info.rkt index 615ee58f56..1473152f96 100644 --- a/collects/planet/terse-info.rkt +++ b/collects/planet/terse-info.rkt @@ -49,7 +49,8 @@ seems little point to that). (loop)))))))))) (define (planet-terse-log id str) - (sync (channel-put-evt terse-log-message-chan (list (thread-cell-ref log-key-tc) id str))) + (unless (thread-dead? thd) + (sync (channel-put-evt terse-log-message-chan (list (thread-cell-ref log-key-tc) id str)))) (void)) (define (planet-terse-register proc)