X
XiaQ
I need to build a stream that writes to stdout and a file at the same
time. Is there already a function in the Python library to do this?
time. Is there already a function in the Python library to do this?