shut down resolution when limit is reached

Fixes #3
bnediction · Jan 23, 2024 · a54fa4c · a54fa4c
1 parent 100e857
commit a54fa4c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bonesis/views.py b/bonesis/views.py
@@ -167,6 +167,7 @@ def _intermediate_model_found(self, model):
 
     def __next__(self):
         if self.limit and self._counter >= self.limit:
+            self._solve_handler.cancel()
             raise StopIteration
 
         self.cur_model = next(self._iterator)