Unwrap trigger-guarded behavior when printing quit notifications

2014-06-21 11:03:16 -04:00 · 2014-06-21 11:03:16 -04:00 · bc3e5be900
parent b2eef0c54a
commit bc3e5be900
1 changed files with 3 additions and 1 deletions
--- 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)