Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -72,6 +72,8 @@ enable_space_ci()
|
|
72 |
|
73 |
def restart_space():
|
74 |
API.restart_space(repo_id=REPO_ID)
|
|
|
|
|
75 |
download_openbench()
|
76 |
|
77 |
def update_plot(selected_models):
|
@@ -219,7 +221,8 @@ def update_board():
|
|
219 |
data_list.append(data)
|
220 |
except Exception as e:
|
221 |
pass # data was badly formatted, should not fail
|
222 |
-
|
|
|
223 |
data_list.pop(0)
|
224 |
with open("genned.json", "w") as f:
|
225 |
json.dump(data_list, f)
|
|
|
72 |
|
73 |
def restart_space():
|
74 |
API.restart_space(repo_id=REPO_ID)
|
75 |
+
shutil.rmtree("./m_data")
|
76 |
+
shutil.rmtree("./data")
|
77 |
download_openbench()
|
78 |
|
79 |
def update_plot(selected_models):
|
|
|
221 |
data_list.append(data)
|
222 |
except Exception as e:
|
223 |
pass # data was badly formatted, should not fail
|
224 |
+
print("DATALIST,", data_list)
|
225 |
+
if len(data_list)>1:
|
226 |
data_list.pop(0)
|
227 |
with open("genned.json", "w") as f:
|
228 |
json.dump(data_list, f)
|