Spaces:
Runtime error
Runtime error
Move thread start to main
Browse files
app.py
CHANGED
|
@@ -77,17 +77,12 @@ def background_refresh():
|
|
| 77 |
)
|
| 78 |
|
| 79 |
cached_fetch(get_gpus_for_leaderboard, lb_name, force_refresh=True)
|
| 80 |
-
|
| 81 |
cached_fetch(get_leaderboard_names, force_refresh=True)
|
| 82 |
|
| 83 |
except Exception as e:
|
| 84 |
print(f"Background refresh error: {e}")
|
| 85 |
|
| 86 |
|
| 87 |
-
background_thread = threading.Thread(target=background_refresh, daemon=True)
|
| 88 |
-
background_thread.start()
|
| 89 |
-
|
| 90 |
-
|
| 91 |
def create_table_for_lb(lb_data):
|
| 92 |
headers = [
|
| 93 |
"Rank",
|
|
@@ -397,6 +392,8 @@ def build_ui():
|
|
| 397 |
|
| 398 |
if __name__ == "__main__":
|
| 399 |
try:
|
|
|
|
|
|
|
| 400 |
app = build_ui()
|
| 401 |
app.launch()
|
| 402 |
finally:
|
|
|
|
| 77 |
)
|
| 78 |
|
| 79 |
cached_fetch(get_gpus_for_leaderboard, lb_name, force_refresh=True)
|
|
|
|
| 80 |
cached_fetch(get_leaderboard_names, force_refresh=True)
|
| 81 |
|
| 82 |
except Exception as e:
|
| 83 |
print(f"Background refresh error: {e}")
|
| 84 |
|
| 85 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 86 |
def create_table_for_lb(lb_data):
|
| 87 |
headers = [
|
| 88 |
"Rank",
|
|
|
|
| 392 |
|
| 393 |
if __name__ == "__main__":
|
| 394 |
try:
|
| 395 |
+
background_thread = threading.Thread(target=background_refresh, daemon=True)
|
| 396 |
+
background_thread.start()
|
| 397 |
app = build_ui()
|
| 398 |
app.launch()
|
| 399 |
finally:
|