From 9ee7e677ada26181e3c4369cd8490b09170b195b Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 6 Sep 2016 16:46:14 +0100 Subject: [PATCH] Give names to udp-driver and udp-socket processes --- racket/syndicate/drivers/udp.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/racket/syndicate/drivers/udp.rkt b/racket/syndicate/drivers/udp.rkt index 825332e..67d3eea 100644 --- a/racket/syndicate/drivers/udp.rkt +++ b/racket/syndicate/drivers/udp.rkt @@ -50,7 +50,8 @@ ;; -> Action ;; Spawns a process acting as a UDP socket factory. (define (spawn-udp-driver) - (spawn-demand-matcher (observe (udp-packet ? (?! (udp-listener ?)) ?)) + (spawn-demand-matcher #:name 'udp-driver + (observe (udp-packet ? (?! (udp-listener ?)) ?)) (advertise (udp-packet ? (?! (udp-listener ?)) ?)) spawn-udp-socket)) @@ -76,7 +77,8 @@ (for-trie ([(udp-multicast-loopback _ $enabled?) (patch-added p)]) (udp:udp-multicast-set-loopback! socket enabled?))) - (spawn (lambda (e s) + (spawn #:name (list 'udp-socket local-addr) + (lambda (e s) (match e [(? patch? p) (update-multicast! p)