Fix

server.py

@@ -186,7 +186,7 @@ class LeaderboardServer:
             elif dots_place == "begin":
                 return "…" + s[-max_length + 1:]
             elif dots_place == "center" and max_length >= 3:
-                max_length_begin = max_length / 2
+                max_length_begin = max_length // 2
                 max_length_end = max_length - max_length_begin - 1
                 return s[:max_length_begin] + "…" + s[-max_length_end:]
             else:  # dots_place == "end"