diff options
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 17 |
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; |
