The timer-driver and timer-relay now need names to be given explicitly.

This commit is contained in:
Tony Garnock-Jones 2012-02-17 15:34:24 -05:00
parent b79ca309c4
commit 8571900d29
1 changed files with 2 additions and 2 deletions

View File

@ -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)