Add debug names to processes
This commit is contained in:
parent
fc829f172f
commit
f8676fcca5
12
driver.rkt
12
driver.rkt
|
@ -41,18 +41,22 @@
|
||||||
|
|
||||||
(ground-vm
|
(ground-vm
|
||||||
(transition 'no-state
|
(transition 'no-state
|
||||||
(spawn udp-driver)
|
;; (spawn udp-spy #:debug-name 'udp-spy)
|
||||||
|
(spawn udp-driver #:debug-name 'udp-driver)
|
||||||
(spawn (nested-vm
|
(spawn (nested-vm
|
||||||
|
'udp-vm
|
||||||
(transition 'no-state
|
(transition 'no-state
|
||||||
(spawn (dns-read-driver local-addr))
|
(spawn dns-spy #:debug-name 'dns-spy)
|
||||||
(spawn (dns-write-driver local-addr))
|
(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)))
|
(role 'error-logger (topic-subscriber (bad-dns-packet (wild) (wild) (wild) (wild)))
|
||||||
#:state w
|
#:state w
|
||||||
[p (begin (log-error (pretty-format p))
|
[p (begin (log-error (pretty-format p))
|
||||||
w)])
|
w)])
|
||||||
(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))))
|
||||||
|
|
||||||
(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)
|
||||||
|
|
Loading…
Reference in New Issue