From 88116aaceb614bd7a1005c467f0df2a9c2681d1d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 6 Sep 2013 12:03:45 -0500 Subject: [PATCH] add a guard against deserialization failure --- .../drracket/private/syncheck/blueboxes-gui.rkt | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt index d2ce21d150..e1bfbf3712 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt @@ -43,9 +43,17 @@ (port-count-lines! port) (define first-line (read-line port)) (define pos (file-position port)) - (list x - (+ (string->number first-line) pos) - (deserialize (read port))))))))) + (define desed + (with-handlers ([exn:fail? (λ (x) + (log-warning "Failed to deserialize ~a: ~a" + x + (exn-message x)) + #f)]) + (deserialize (read port)))) + (and desed + (list x + (+ (string->number first-line) pos) + desed)))))))) (define files->tag->offset #f)