From a8250641e04bca7919f1306ef1adce09f1b4f9b3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 11 Aug 2013 07:10:38 -0600 Subject: [PATCH] GUI package manager: catch and report errors --- .../gui-pkg-manager-lib/pkg/gui/by-list.rkt | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt index 41e624b9ab..48c91814fc 100644 --- a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt +++ b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/by-list.rkt @@ -288,7 +288,15 @@ (set! task (thread (lambda () (with-handlers ([exn:break? void]) - (thunk) + (with-handlers ([exn:fail? (lambda (exn) + (queue-callback + (lambda () + (message-box + "Error" + (exn-message exn) + (get-top-level-window) + '(ok stop)))))]) + (thunk)) (let ([f finalize]) (queue-callback/wait (lambda () (f #t)))))))))