This seems like useful functionality: I would suggest that you ask for a package problem.
However, the following should work as a quick hack:
oldout = STDOUT
(rd,wr) = redirect_stdout()
start_reading(rd)
flush_cstdio()
redirect_stdout(oldout)
close(wr)
s = readall(rd)
close(rd)
s
source
share