From 43a6f52cd83ad36ce9bd92bf1b1fea718b5dcf57 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 23 Jan 2012 11:22:52 -0500 Subject: [PATCH] Fix a type error: DNS packets need to stay in the DNS layer --- big-bang-driver.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/big-bang-driver.rkt b/big-bang-driver.rkt index 3a1d7ba..7bc0c4c 100644 --- a/big-bang-driver.rkt +++ b/big-bang-driver.rkt @@ -106,9 +106,10 @@ (message-handlers w [(dns-reply message sink) (transition w - (send-meta-message - (with-handlers ((exn? (lambda (e) (bad-dns-packet message s sink - 'unencodable)))) + (with-handlers ((exn? (lambda (e) (send-message + (bad-dns-packet message s sink + 'unencodable))))) + (send-meta-message (udp-packet s sink (dns-message->packet message)))))])))) (define (first-only xs)