Track server change of grouping players with tied scores

This makes it more clear that players tied by displaying them in the
same row, (which also saves some space if there are a lot of ties).

diff --git a/empathy/empathy.jsx b/empathy/empathy.jsx
index 2c70bc387f6d23cfbed01144fea26f3a142df1c3..85738f3eb69a021a7e4cf3bc67fb728f0473b546 100644 (file)
--- a/empathy/empathy.jsx
+++ b/empathy/empathy.jsx
@@ -1067,7 +1067,7 @@ class Game extends React.PureComponent {
             {state.scores.scores.map(score => {
               return (
                 <li key={score.player}>
-                  {score.player}: {score.score}
+                  {score.players.join("/")}: {score.score}
                 </li>
               );
             })}