Use specified metric for every task

server.py

@@ -58,6 +58,13 @@ MARKDOWN_SPECIAL_CHARACTERS = {
     "|": "|"
 }
 
+def uniqifyList(seq, order_preserving=True):
+    if order_preserving:
+        seen = set()
+        return [x for x in seq if x not in seen and not seen.add(x)]
+    else:
+        return list(set(seq))
+
 def xmlAndMarkdownEscape(text):
     return xmlEscape(text, MARKDOWN_SPECIAL_CHARACTERS)
 
@@ -649,7 +656,7 @@ class LeaderboardServer:
                             
                             if category in (task_category, self.TASKS_CATEGORY_OVERALL_DETAILS):
                                 local_results[task] = task_score
-                                for metric in VISIBLE_METRICS:
+                                for metric in uniqifyList([self.TASKS_METADATA[task]["metric"]] + VISIBLE_METRICS):
                                     visible_metrics_map_word_to_header[task + "_" + metric] = self.TASKS_METADATA[task]["abbreviation"] + " " + metric
                                     metric_value = data['results'][task].get(metric)
                                     if metric_value is not None: