Spaces:
Running
Running
Join dataframes update
Browse files
server.py
CHANGED
@@ -194,8 +194,6 @@ class LeaderboardServer:
|
|
194 |
category: self._get_leaderboard(category=category)
|
195 |
for category in [self.TASKS_CATEGORY_OVERALL] + sorted(self.TASKS_CATEGORIES)
|
196 |
}
|
197 |
-
with self.var_lock.rw:
|
198 |
-
self.leaderboard_dataframes = leaderboard_dataframes
|
199 |
|
200 |
with self.var_lock.ro:
|
201 |
submission_ids = self.submission_ids
|
@@ -209,6 +207,7 @@ class LeaderboardServer:
|
|
209 |
}
|
210 |
|
211 |
with self.var_lock.rw:
|
|
|
212 |
self.tournament_dataframes = tournament_dataframes
|
213 |
|
214 |
def load_tournament_results(self):
|
|
|
194 |
category: self._get_leaderboard(category=category)
|
195 |
for category in [self.TASKS_CATEGORY_OVERALL] + sorted(self.TASKS_CATEGORIES)
|
196 |
}
|
|
|
|
|
197 |
|
198 |
with self.var_lock.ro:
|
199 |
submission_ids = self.submission_ids
|
|
|
207 |
}
|
208 |
|
209 |
with self.var_lock.rw:
|
210 |
+
self.leaderboard_dataframes = leaderboard_dataframes
|
211 |
self.tournament_dataframes = tournament_dataframes
|
212 |
|
213 |
def load_tournament_results(self):
|