Proofgold Core 0.2.8rc1

by Brown, Tuesday, November 16, 2021, 12:09 (19 days ago) @ BlakeKeiller

I've been able to reproduce the sigpipe signal sometimes raised by flush. I suggest setting the signal handler to ignore this signal. In that case, instead of the signal an exception (Sys_error "Broken pipe") will be raised. The code is already able to handle such an exception by closing the connection.