From 9e5f49869df95d2cc6bbc4225254223b956598fa Mon Sep 17 00:00:00 2001 From: William Blanke Date: Fri, 27 Sep 2024 02:47:44 -0700 Subject: [PATCH] filter out EINTR thanks arvid --- src/prover_slow.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/prover_slow.h b/src/prover_slow.h index c7887f5..0438bc8 100644 --- a/src/prover_slow.h +++ b/src/prover_slow.h @@ -108,7 +108,8 @@ std::vector ProveSlow(integer& D, form& x, uint64_t num_iterations, std if (shutdown_file_path!="") { struct stat buffer; - if (stat (shutdown_file_path.c_str(), &buffer) != 0) { + int statrst = stat(shutdown_file_path.c_str(), &buffer); + if ((statrst != 0) && (statrst != EINTR)) { // shutdown file doesn't exist, abort out return {}; }