Spaces:
Build error
Build error
Update app.py
Browse files
app.py
CHANGED
|
@@ -1029,7 +1029,7 @@ def main():
|
|
| 1029 |
# Provide a download button for the logs
|
| 1030 |
st.download_button(
|
| 1031 |
label="Download Logs",
|
| 1032 |
-
data=filtered_logs,
|
| 1033 |
file_name="./log.txt",
|
| 1034 |
mime="text/plain"
|
| 1035 |
)
|
|
@@ -1094,8 +1094,8 @@ def main():
|
|
| 1094 |
st.write(f"### Round {round_num + 1} ✅")
|
| 1095 |
|
| 1096 |
logs = read_log_file2()
|
| 1097 |
-
|
| 1098 |
-
|
| 1099 |
|
| 1100 |
st.markdown(filtered_logs)
|
| 1101 |
# Provide a download button for the logs
|
|
|
|
| 1029 |
# Provide a download button for the logs
|
| 1030 |
st.download_button(
|
| 1031 |
label="Download Logs",
|
| 1032 |
+
data="\n".join(filtered_logs),
|
| 1033 |
file_name="./log.txt",
|
| 1034 |
mime="text/plain"
|
| 1035 |
)
|
|
|
|
| 1094 |
st.write(f"### Round {round_num + 1} ✅")
|
| 1095 |
|
| 1096 |
logs = read_log_file2()
|
| 1097 |
+
filtered_log_list = [line for line in logs.splitlines() if pattern.search(line)]
|
| 1098 |
+
filtered_logs = "\n".join(filtered_log_list)
|
| 1099 |
|
| 1100 |
st.markdown(filtered_logs)
|
| 1101 |
# Provide a download button for the logs
|