Track quits differently

This commit is contained in:
Tony Garnock-Jones 2017-08-13 22:13:44 -04:00
parent fdcd9b9388
commit 3db51ffda5
1 changed files with 3 additions and 2 deletions

View File

@ -198,13 +198,14 @@
(exn->string exn))
(transition w '())))]
['quit
(define interpreted-point (trace-action-interpreted produced-point label a))
(define-values (new-mux _label delta delta-aggregate)
(mux-remove-stream (dataspace-mux w) label))
(define interpreted-point (trace-action-interpreted produced-point label delta))
;; Clean up the "tombstone" left for us by disable-process
(let ((w (struct-copy dataspace w
[process-table (hash-remove (dataspace-process-table w) label)])))
(deliver-patches interpreted-point produced-point w new-mux label delta delta-aggregate))]
(begin0 (deliver-patches interpreted-point produced-point w new-mux label delta delta-aggregate)
(trace-action-interpreted produced-point label a)))]
[(quit-dataspace)
(quit)]
[(? patch? delta-orig)