From d325076c9fdf452d1c230e4c182b68f23ed51316 Mon Sep 17 00:00:00 2001
From: Tulir Asokan <tulir@maunium.net>
Date: Mon, 8 Jul 2019 10:55:07 +0300
Subject: [PATCH] Don't allow HTML in ping messages

---
 echo.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/echo.py b/echo.py
index 62a9cc7..f5d3a42 100644
--- a/echo.py
+++ b/echo.py
@@ -45,7 +45,7 @@ class EchoBot(Plugin):
             msgtype=MessageType.NOTICE, format=Format.HTML,
             body=f"{evt.sender}: Pong! (ping {message} {pretty_diff} to arrive)",
             formatted_body=f"<a href='https://matrix.to/#/{evt.sender}'>{evt.sender}</a>: Pong! "
-            f"(<a href='https://matrix.to/#/{evt.room_id}/{evt.event_id}'>ping</a> {message} "
+            f"(<a href='https://matrix.to/#/{evt.room_id}/{evt.event_id}'>ping</a> {html_message} "
             f"{pretty_diff} to arrive)")
         content["pong"] = {
             "ms": diff,