From aea07d16cc78b5e3e9be2bb042084813b42183c6 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 21 May 2014 23:17:25 -0400 Subject: [PATCH] Convey the number of remaining processes after a termination --- minimart/core.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/minimart/core.rkt b/minimart/core.rkt index 111065e..6228c12 100644 --- a/minimart/core.rkt +++ b/minimart/core.rkt @@ -246,7 +246,9 @@ (define p (hash-ref pt pid (lambda () #f))) (if p (let* ((w (struct-copy world w [process-table (hash-remove pt pid)]))) - (log-info "Process ~a terminating" pid) + (log-info "Process ~a terminating; ~a processes remain" + pid + (hash-count (world-process-table w))) (apply-and-issue-routing-update w pid (process-gestalt p) (gestalt-empty))) (transition w '()))] [(routing-update gestalt)