From bc3e5be9005522437f308ea90b3a6334db2f6802 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 21 Jun 2014 11:03:16 -0400 Subject: [PATCH] Unwrap trigger-guarded behavior when printing quit notifications --- minimart/trace/stderr.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/minimart/trace/stderr.rkt b/minimart/trace/stderr.rkt index a30d09c..630ff20 100644 --- a/minimart/trace/stderr.rkt +++ b/minimart/trace/stderr.rkt @@ -147,7 +147,9 @@ (with-color BRIGHT-RED (output "~a ~v exited (~a total processes now)\n" pidstr - behavior + (if (trigger-guard? state) + (trigger-guard-handler state) + behavior) newcount)) (unless (boring-state? state) (output "~a's final state:\n" pidstr)