Oops -- I had forgotten udp-handle support in the UDP driver.

This commit is contained in:
Tony Garnock-Jones 2016-09-13 13:21:04 -04:00
parent 9080396bc5
commit 7be8eb6d60
1 changed files with 9 additions and 4 deletions

View File

@ -50,10 +50,15 @@
;; -> Action ;; -> Action
;; Spawns a process acting as a UDP socket factory. ;; Spawns a process acting as a UDP socket factory.
(define (spawn-udp-driver) (define (spawn-udp-driver)
(spawn-demand-matcher #:name 'udp-driver (list
(observe (udp-packet ? (?! (udp-listener ?)) ?)) (spawn-demand-matcher #:name 'udp-listen-driver
(advertise (udp-packet ? (?! (udp-listener ?)) ?)) (observe (udp-packet ? (?! (udp-listener ?)) ?))
spawn-udp-socket)) (advertise (udp-packet ? (?! (udp-listener ?)) ?))
spawn-udp-socket)
(spawn-demand-matcher #:name 'udp-handle-driver
(observe (udp-packet ? (?! (udp-handle ?)) ?))
(advertise (udp-packet ? (?! (udp-handle ?)) ?))
spawn-udp-socket)))
;; UdpLocalAddress -> Action ;; UdpLocalAddress -> Action
(define (spawn-udp-socket local-addr) (define (spawn-udp-socket local-addr)