GUI package manager: catch and report errors

2013-08-11 07:10:38 -06:00 · 2013-08-11 07:10:38 -06:00 · a8250641e0
commit a8250641e0
parent 7c95c5ad38
1 changed files with 9 additions and 1 deletions
--- 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)))))))))