From 2852d47c0e7b0da72259ddcec693270d52110578 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 25 May 2025 12:31:40 +0200 Subject: Quick fix for bug --- src/solvers/h48/solve.h | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) (limited to 'src/solvers/h48/solve.h') diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 4d3c451..7210478 100644 --- 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; -- cgit v1.3