From d2ce3f714b7a4e1b371cd2a898c29ebde4809725 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 13 Jan 2013 07:48:37 -0700 Subject: [PATCH] bug report GUI: guard against `raco pkg show' errors Various things can go wrong with `raco pkg show', including permission errors or lock conflicts. Merge to v5.3.2 --- collects/help/private/bug-report-controls.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/help/private/bug-report-controls.rkt b/collects/help/private/bug-report-controls.rkt index df55f3657a..147e83be94 100644 --- a/collects/help/private/bug-report-controls.rkt +++ b/collects/help/private/bug-report-controls.rkt @@ -446,7 +446,9 @@ (define planet2-info-sp (open-output-string)) (parameterize ([current-output-port planet2-info-sp]) - (planet2:show)) + (with-handlers ([exn:fail? (lambda (exn) + (printf "ERROR:\n~a" (exn-message exn)))]) + (planet2:show))) (send (send planet2-info get-editor) insert (get-output-string planet2-info-sp))