Better debug-names.

This commit is contained in:
Tony Garnock-Jones 2012-05-03 16:00:22 -04:00
parent d85237674a
commit f466fd6a05
1 changed files with 2 additions and 2 deletions

View File

@ -44,7 +44,7 @@
;; (spawn udp-spy #:debug-name 'udp-spy) ;; (spawn udp-spy #:debug-name 'udp-spy)
(spawn udp-driver #:debug-name 'udp-driver) (spawn udp-driver #:debug-name 'udp-driver)
(spawn (nested-vm (spawn (nested-vm
'udp-vm 'dns-vm
(transition 'no-state (transition 'no-state
(spawn dns-spy #:debug-name 'dns-spy) (spawn dns-spy #:debug-name 'dns-spy)
(spawn (dns-read-driver local-addr) #:debug-name 'dns-read-driver) (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))) (role 'request-booter (topic-subscriber (dns-request (wild) (wild) (wild)))
#:state w #: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)))) #:debug-name 'dns-vm))))
(define (handle-request soa-rr zone request) (define (handle-request soa-rr zone request)
(match-define (dns-request request-message request-source request-sink) request) (match-define (dns-request request-message request-source request-sink) request)