aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/solvers/h48/solve.h17
1 files changed, 8 insertions, 9 deletions
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(
565 lastused = sollist.used; 565 lastused = sollist.used;
566 pthread_mutex_unlock(&solutions_mutex); 566 pthread_mutex_unlock(&solutions_mutex);
567 567
568 if (poll_status == NULL) 568 if (poll_status != NULL) {
569 continue; 569 status = poll_status(poll_status_data);
570 570 if (status == NISSY_STATUS_PAUSE && fp) {
571 status = poll_status(poll_status_data); 571 LOG("[H48 solve] Paused\n");
572 if (status == NISSY_STATUS_PAUSE && fp) { 572 fp = false;
573 LOG("[H48 solve] Paused\n"); 573 }
574 fp = false; 574 if (status == NISSY_STATUS_RUN)
575 fp = true;
575 } 576 }
576 if (status == NISSY_STATUS_RUN)
577 fp = true;
578 577
579 for (td = true, i = 0; i < threads; i++) 578 for (td = true, i = 0; i < threads; i++)
580 td = td && arg[i].thread_done; 579 td = td && arg[i].thread_done;

Generated with cgit - Back to sebastiano.tronto.net