Make refresh interval faster, remove unused check

app.py

@@ -73,15 +73,14 @@ def refresh_leaderboard():
  try:
  uid = int(key)
 
- if uid not in entries:
- entries[uid] = LeaderboardEntry(
- uid=uid,
- rank=value["rank"],
- model=value["model"],
- score=value["score"],
- hotkey=value["hotkey"],
- previous_day_winner=value["multiday_winner"],
- )
+ entries[uid] = LeaderboardEntry(
+ uid=uid,
+ rank=value["rank"],
+ model=value["model"],
+ score=value["score"],
+ hotkey=value["hotkey"],
+ previous_day_winner=value["multiday_winner"],
+ )
  except Exception:
  continue
 
@@ -105,7 +104,7 @@ def refresh_leaderboard():
 
 def main():
  refresh_leaderboard()
- schedule.every().day.at("09:30:00", "America/New_York").do(refresh_leaderboard)
+ schedule.every(30).minutes.do(refresh_leaderboard)
 
  demo.launch(prevent_thread_lock=True)