From 9452f3e89bcf316c538dcb43083db257c3f7de36 Mon Sep 17 00:00:00 2001 From: Kevin Tew Date: Tue, 19 Apr 2011 10:42:01 -0600 Subject: [PATCH] [Places] parallel-do change exn? to exn:fail? --- collects/setup/parallel-do.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/setup/parallel-do.rkt b/collects/setup/parallel-do.rkt index 92282c5f88..00823fe488 100644 --- a/collects/setup/parallel-do.rkt +++ b/collects/setup/parallel-do.rkt @@ -240,7 +240,7 @@ (apply sync (map gen-node-handler inflight))]))) (lambda () ;(printf "Asking all workers to die\n") - (for ([p workers]) (with-handlers ([exn? void]) (wrkr/send p (list 'DIE)))) + (for ([p workers]) (with-handlers ([exn:fail? void]) (wrkr/send p (list 'DIE)))) ;(printf "Waiting for all workers to die")(flush-output) (for ([p workers] [i (in-naturals)])