From bc45b342aa439f41727da2a7dddb97007f79fc7f Mon Sep 17 00:00:00 2001
From: urkerab <urkerab@users.noreply.github.com>
Date: Thu, 8 Oct 2015 13:22:48 +0100
Subject: [PATCH] Show the pretty format name in the battle tab

---
 js/client.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/client.js b/js/client.js
index 01b6dd92c..655e6245c 100644
--- a/js/client.js
+++ b/js/client.js
@@ -1893,7 +1893,7 @@
 							name = '(empty room)';
 						}
 					}
-					return buf + '<i class="text">' + formatid + '</i><span>' + name + '</span></a><a class="closebutton" href="' + app.root + id + '"><i class="fa fa-times-circle"></i></a></li>';
+					return buf + '<i class="text">' + Tools.escapeFormat(formatid) + '</i><span>' + name + '</span></a><a class="closebutton" href="' + app.root + id + '"><i class="fa fa-times-circle"></i></a></li>';
 				} else {
 					return buf + '<i class="fa fa-comment-o"></i> <span>' + (Tools.escapeHTML(room.title) || (id === 'lobby' ? 'Lobby' : id)) + '</span></a><a class="closebutton" href="' + app.root + id + '"><i class="fa fa-times-circle"></i></a></li>';
 				}