Spaces:
Running
Running
Fixed copy-paste mistake
Browse files
app.py
CHANGED
|
@@ -158,7 +158,7 @@ def change_leaderboard_category(category):
|
|
| 158 |
abbreviation2name = leaderboard_server.CATEGORY_TO_TASK_ABBREVIATION_TO_NAME[category]
|
| 159 |
for abbr, name in abbreviation2name.items():
|
| 160 |
abbr_escaped = xmlEscape(abbr, MARKDOWN_SPECIAL_CHARACTERS)
|
| 161 |
-
name_escaped = xmlEscape(
|
| 162 |
task_abbreviation_legend_body.append(f"| {abbr_escaped} | {name_escaped} |")
|
| 163 |
|
| 164 |
task_abbreviation_legend = (
|
|
|
|
| 158 |
abbreviation2name = leaderboard_server.CATEGORY_TO_TASK_ABBREVIATION_TO_NAME[category]
|
| 159 |
for abbr, name in abbreviation2name.items():
|
| 160 |
abbr_escaped = xmlEscape(abbr, MARKDOWN_SPECIAL_CHARACTERS)
|
| 161 |
+
name_escaped = xmlEscape(name, MARKDOWN_SPECIAL_CHARACTERS)
|
| 162 |
task_abbreviation_legend_body.append(f"| {abbr_escaped} | {name_escaped} |")
|
| 163 |
|
| 164 |
task_abbreviation_legend = (
|