+ def json(self):
+ """For rendering this data using JSON."""
+ top_players = [{
+ "player_id": ts.player_id,
+ "nick": ts.nick,
+ "time": ts[2].total_seconds(),
+ } for ts in self.top_players]
+
+ return top_players
+
+
+class ServerInfo(ServerInfoBase):
+ """Returns detailed information about a particular server."""
+
+ def __init__(self, request):
+ """Common parameter parsing."""
+
+ super(ServerInfo, self).__init__(request)
+ self.server_info = self.raw()
+
+ def raw(self):
+ """Returns the raw data shared by all renderers."""