Anticipate the pid a process is *about* to be allocated.

This commit is contained in:
Tony Garnock-Jones 2016-07-20 18:42:35 -04:00
parent c76480f701
commit a01480fe05
1 changed files with 1 additions and 1 deletions

View File

@ -359,7 +359,7 @@
(define ((perform-action label a) w) (define ((perform-action label a) w)
(match a (match a
[(spawn boot) [(spawn boot)
(invoke-process 'booting (invoke-process (mux-next-pid (dataspace-mux w)) ;; anticipate pid allocation
(lambda () (lambda ()
(match (boot) (match (boot)
[(and results (list (? procedure?) (? general-transition?) _)) [(and results (list (? procedure?) (? general-transition?) _))