From 8571900d29b506c1df24332ee5e1d817b0068b97 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 17 Feb 2012 15:34:24 -0500
Subject: [PATCH] The timer-driver and timer-relay now need names to be given
 explicitly.

---
 proxy.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/proxy.rkt b/proxy.rkt
index e3c2002..064877c 100644
--- a/proxy.rkt
+++ b/proxy.rkt
@@ -30,7 +30,7 @@
   (define boot-server
     (os-big-bang 'no-state/boot-server
       ;;(spawn dns-spy)
-      (spawn (timer-relay))
+      (spawn (timer-relay 'timer-relay:dns))
       (spawn (query-id-allocator))
       (send-meta-message `(request create-server-socket (udp new ,port-number 512)))
       (subscribe/fresh wait-id
@@ -59,7 +59,7 @@
   (ground-vm (os-big-bang (void)
 	       ;;(spawn udp-spy)
 	       (spawn udp-driver)
-	       (spawn (timer-driver))
+	       (spawn (timer-driver 'timer-driver))
 	       (spawn (nested-vm boot-server)))))
 
 (define (query-id-allocator)