(self, event)
| 136 | # case some events appear in future protocol versions. |
| 137 | @message_handler |
| 138 | def event(self, event): |
| 139 | if self.server: |
| 140 | self.server.channel.propagate(event) |
| 141 | |
| 142 | # Generic request handler, used if there's no specific handler below. |
| 143 | @message_handler |