Spaces:
Sleeping
Sleeping
File size: 800 Bytes
0399906 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
import streamlit as st
import io
def render_batch_errorlog(errorlog, ui):
"""Optionales Fehlerprotokoll mit Download im UI anzeigen, sofern Fehler vorhanden."""
if errorlog:
with st.expander(ui["batch"]["errorlog_show"], expanded=False):
st.markdown(ui["batch"]["errorlog_message"].format(count=len(errorlog)))
for line in errorlog:
st.write(line)
# Download als Textdatei
buf = io.StringIO()
for l in errorlog:
buf.write(f"{l}\n")
st.download_button(
label=ui["batch"]["errorlog_download"],
data=buf.getvalue().encode("utf-8"),
file_name="batch_errorlog.txt",
mime="text/plain"
) |