Fixing the error message from PR12443

original commit: 9b579d8c2aa8548e6b49c9aeec0a7a4cf107bd58
2012-03-23 10:44:43 -06:00 · 2012-03-23 10:44:43 -06:00 · 3f6a5bb5ef
commit 3f6a5bb5ef
parent 2147d288a1
1 changed files with 8 additions and 2 deletions
--- a/collects/mzlib/thread.rkt
+++ b/collects/mzlib/thread.rkt
@ -112,8 +112,14 @@
                                         ;; Enable breaking:
                                         (when can-break?
                                               (break-enabled #t))
-                                         ;; Call the handler
-                                         (handler r w)))))])
+                                         ;; Prevent the handler from
+                                         ;; killing this custodian, by
+                                         ;; creating an intermediary,
+                                         ;; but child custodian
+                                         (parameterize ([current-custodian 
+                                                         (make-custodian)])
+                                           ;; Call the handler
+                                           (handler r w))))))])
                              ;; Clean-up and timeout thread:
                              (thread 
                               (lambda ()