[Places] parallel-do change exn? to exn:fail?

This commit is contained in:
Kevin Tew 2011-04-19 10:42:01 -06:00
parent 3e08a61190
commit 9452f3e89b

View File

@ -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)])