From a01480fe051d9e49f80db692eaf672265a83f2df Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 20 Jul 2016 18:42:35 -0400
Subject: [PATCH] Anticipate the pid a process is *about* to be allocated.

---
 racket/syndicate/core.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/racket/syndicate/core.rkt b/racket/syndicate/core.rkt
index bee33ca..d940f66 100644
--- a/racket/syndicate/core.rkt
+++ b/racket/syndicate/core.rkt
@@ -359,7 +359,7 @@
 (define ((perform-action label a) w)
   (match a
     [(spawn boot)
-     (invoke-process 'booting
+     (invoke-process (mux-next-pid (dataspace-mux w)) ;; anticipate pid allocation
                      (lambda ()
                        (match (boot)
                          [(and results (list (? procedure?) (? general-transition?) _))