nissy-core

commit 2852d47c0e7b0da72259ddcec693270d52110578
parent 8dcdfd23ef6fedf89b8a485f6bb54974e5077881
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Sun, 25 May 2025 12:31:40 +0200

Quick fix for bug

Diffstat:
M
src/solvers/h48/solve.h
 | 
17
++++++++---------

1 file changed, 8 insertions(+), 9 deletions(-)
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h
@@ -565,16 +565,15 @@ solve_h48(
 				lastused = sollist.used;
 				pthread_mutex_unlock(&solutions_mutex);
 
-				if (poll_status == NULL)
-					continue;
-
-				status = poll_status(poll_status_data);
-				if (status == NISSY_STATUS_PAUSE && fp) {
-					LOG("[H48 solve] Paused\n");
-					fp = false;
+				if (poll_status != NULL) {
+					status = poll_status(poll_status_data);
+					if (status == NISSY_STATUS_PAUSE && fp) {
+						LOG("[H48 solve] Paused\n");
+						fp = false;
+					}
+					if (status == NISSY_STATUS_RUN)
+						fp = true;
 				}
-				if (status == NISSY_STATUS_RUN)
-					fp = true;
 
 				for (td = true, i = 0; i < threads; i++)
 					td = td && arg[i].thread_done;