Update play_helper.py
Browse files- play_helper.py +2 -0
play_helper.py
CHANGED
@@ -57,6 +57,8 @@ def declare_components(demo, greet, use_login_button=False):
|
|
57 |
user_state = gr.State()
|
58 |
uid_state = gr.State()
|
59 |
|
|
|
|
|
60 |
if not os.path.exists(_leaderboards):
|
61 |
download_from_drive(_leaderboards, compare_checksum=False)
|
62 |
|
|
|
57 |
user_state = gr.State()
|
58 |
uid_state = gr.State()
|
59 |
|
60 |
+
if os.getenv('TG_RESET_LEADERBOARDS', '0') == '1':
|
61 |
+
os.system(f"rm \"{_leaderboards}\"")
|
62 |
if not os.path.exists(_leaderboards):
|
63 |
download_from_drive(_leaderboards, compare_checksum=False)
|
64 |
|