From 291ec07404ddb23343990ad05ccb12d8bfb1e04a Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 4 Jul 2012 16:36:15 -0400 Subject: [PATCH] I've decided to rename "virtual" flows to "monitor" flows. --- os2-dns.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/os2-dns.rkt b/os2-dns.rkt index f332842..b3975ec 100644 --- a/os2-dns.rkt +++ b/os2-dns.rkt @@ -52,7 +52,7 @@ (define dns-spy (transition 'none - (role 'spy (topic-subscriber (wild) #:virtual? #t) + (role 'spy (topic-subscriber (wild) #:monitor? #t) #:state w [(dns-request message source sink) (log-info (format "DNS: ~v asks ~v ~v~n : ~v"