diff --git a/driver.rkt b/driver.rkt index c006683..ed92479 100644 --- a/driver.rkt +++ b/driver.rkt @@ -41,18 +41,22 @@ (ground-vm (transition 'no-state - (spawn udp-driver) + ;; (spawn udp-spy #:debug-name 'udp-spy) + (spawn udp-driver #:debug-name 'udp-driver) (spawn (nested-vm + 'udp-vm (transition 'no-state - (spawn (dns-read-driver local-addr)) - (spawn (dns-write-driver local-addr)) + (spawn dns-spy #:debug-name 'dns-spy) + (spawn (dns-read-driver local-addr) #:debug-name 'dns-read-driver) + (spawn (dns-write-driver local-addr) #:debug-name 'dns-write-driver) (role 'error-logger (topic-subscriber (bad-dns-packet (wild) (wild) (wild) (wild))) #:state w [p (begin (log-error (pretty-format p)) w)]) (role 'request-booter (topic-subscriber (dns-request (wild) (wild) (wild))) #:state w - [r (transition w (map send-message (handle-request soa-rr zone r)))]))))))) + [r (transition w (map send-message (handle-request soa-rr zone r)))]))) + #:debug-name 'nested-udp-vm)))) (define (handle-request soa-rr zone request) (match-define (dns-request request-message request-source request-sink) request)