From 37a2ebd4bffa99d465396fde0acfc52284ee3b7c Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 30 May 2025 14:06:34 +0200 Subject: More improvements to web solver --- src/solvers/h48/solve.h | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'src/solvers/h48') diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index bf34a2b..348c122 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h @@ -417,8 +417,8 @@ solve_h48( ) { int i, ntasks, eoesep_table_index; - bool td, fp; - _Atomic int status; + bool td; + _Atomic int status, prev_status; size_t lastused; int8_t d; dfsarg_solve_h48_t arg[THREADS]; @@ -556,7 +556,6 @@ solve_h48( /* Log solutions and handle pause / stop / resume */ if (poll_status != NULL && d >= 15 && NISSY_CANSLEEP) { td = false; - fp = true; while (!td && status != NISSY_STATUS_STOP) { msleep(BASE_SLEEP_TIME); @@ -565,13 +564,14 @@ solve_h48( lastused = sollist.used; pthread_mutex_unlock(&solutions_mutex); + prev_status = status; status = poll_status(poll_status_data); - if (status == NISSY_STATUS_PAUSE && fp) { - LOG("[H48 solve] Paused\n"); - fp = false; + if (status != prev_status) { + if (status == NISSY_STATUS_PAUSE) + LOG("[H48 solve] Paused\n"); + if (status == NISSY_STATUS_RUN) + LOG("[H48 solve] Resumed\n"); } - if (status == NISSY_STATUS_RUN) - fp = true; for (td = true, i = 0; i < threads; i++) td = td && arg[i].thread_done; -- cgit v1.3