Add pass banner

1 files changed, 8 insertions, 0 deletions

diff --git a/play.js b/play.js
index 7d65c56..4bdf51b 100644
--- a/play.js
+++ b/play.js
@@ -1043,6 +1043,10 @@ function on_log(text, ix) {
 		text = text.replace(".S.d", "")
 		p.className = "h2 dem"
 		log_event = 0
+	} else if (text.match(/^\.P\.d/)) {
+		text = "passed"
+		p.className = "h2 dem"
+		log_event = 0
 	} else if (text.match(/^\.O\.c/)) {
 		text = "operations"
 		p.className = "h2 com"
@@ -1059,6 +1063,10 @@ function on_log(text, ix) {
 		text = text.replace(".S.c", "")
 		p.className = "h2 com"
 		log_event = 0
+	} else if (text.match(/^\.P\.c/)) {
+		text = "passed"
+		p.className = "h2 com"
+		log_event = 0
 	} else if (text.match(/\.c/)) {
 		text = text.replace(".c", "")
 		p.className = "h2 com"