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)