Log termination of processes
This commit is contained in:
parent
c9e9465f85
commit
6d025ef69d
1
core.rkt
1
core.rkt
|
@ -168,6 +168,7 @@
|
||||||
(hash-set (world-process-table w) new-pid new-p)])))
|
(hash-set (world-process-table w) new-pid new-p)])))
|
||||||
(issue-routing-update w))]
|
(issue-routing-update w))]
|
||||||
[(quit)
|
[(quit)
|
||||||
|
(when (hash-has-key? (world-process-table w) pid) (log-info "Process ~a terminating" pid))
|
||||||
(let* ((w (struct-copy world w [process-table (hash-remove (world-process-table w) pid)])))
|
(let* ((w (struct-copy world w [process-table (hash-remove (world-process-table w) pid)])))
|
||||||
(issue-routing-update w))]
|
(issue-routing-update w))]
|
||||||
[(routing-update routes)
|
[(routing-update routes)
|
||||||
|
|
Loading…
Reference in New Issue