From 06c5e975c2046859e23d99ffdfd4858f228e6e77 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 29 Aug 2008 03:59:32 +0000 Subject: [PATCH] svn: r11476 --- collects/planet/planet.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/planet/planet.ss b/collects/planet/planet.ss index 5942c9aefd..de7e0e5c6c 100644 --- a/collects/planet/planet.ss +++ b/collects/planet/planet.ss @@ -285,6 +285,6 @@ This command does not unpack or install the named .plt file." (with-handlers ([exn:fail? (lambda (e) - (fprintf (current-error-port) "~a\n" (exn-message e)) + ((error-display-handler) (exn-message e) e) (exit 1))]) (start)))