Spaces:
Paused
Paused
Use shallow copy for faster loading
Browse files
server.py
CHANGED
|
@@ -395,7 +395,7 @@ class LeaderboardServer:
|
|
| 395 |
if pre_submit == None:
|
| 396 |
category = category if category else self.TASKS_CATEGORY_OVERALL
|
| 397 |
with self.var_lock.ro:
|
| 398 |
-
return copy.
|
| 399 |
else:
|
| 400 |
return self._get_leaderboard(pre_submit=pre_submit, category=category)
|
| 401 |
|
|
|
|
| 395 |
if pre_submit == None:
|
| 396 |
category = category if category else self.TASKS_CATEGORY_OVERALL
|
| 397 |
with self.var_lock.ro:
|
| 398 |
+
return copy.copy(self.leaderboard_dataframes[category])
|
| 399 |
else:
|
| 400 |
return self._get_leaderboard(pre_submit=pre_submit, category=category)
|
| 401 |
|