From f466fd6a05aa6020dcb2f6233e442110f53a4acd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 3 May 2012 16:00:22 -0400 Subject: [PATCH] Better debug-names. --- driver.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/driver.rkt b/driver.rkt index ed92479..7060f7a 100644 --- a/driver.rkt +++ b/driver.rkt @@ -44,7 +44,7 @@ ;; (spawn udp-spy #:debug-name 'udp-spy) (spawn udp-driver #:debug-name 'udp-driver) (spawn (nested-vm - 'udp-vm + 'dns-vm (transition 'no-state (spawn dns-spy #:debug-name 'dns-spy) (spawn (dns-read-driver local-addr) #:debug-name 'dns-read-driver) @@ -56,7 +56,7 @@ (role 'request-booter (topic-subscriber (dns-request (wild) (wild) (wild))) #:state w [r (transition w (map send-message (handle-request soa-rr zone r)))]))) - #:debug-name 'nested-udp-vm)))) + #:debug-name 'dns-vm)))) (define (handle-request soa-rr zone request) (match-define (dns-request request-message request-source request-sink) request)