Ignore unknown messages in role message handlers

2012-03-24 21:15:49 -04:00 · 2012-03-24 21:15:49 -04:00 · 1143bde46c
parent 04a537be15
commit 1143bde46c
1 changed files with 2 additions and 1 deletions
--- a/os2.rkt
+++ b/os2.rkt
@ -149,7 +149,8 @@
 						[state-pattern
 						 (match message-body
 						   [message-pattern clause-body ...]
-						   ...)])))])
+						   ...
+						   [_ state])])))])
 	   #'(add-role topic-expr
 		       (handlers presence-handler absence-handler message-handler)
 		       ready-handler)))])))