Continue after reported solution

2025-05-23 15:30:28 +02:00
parent 4961fdfff4
commit 0e16b59647
2 changed files with 8 additions and 7 deletions
@@ -246,9 +246,10 @@ handle_worker_result(Error, W, S) ->
 report_solutions_(Solutions, W, S) ->
    case report_solutions(Solutions, W, S) of
        ok ->
-            Ws = reset_worker(W, S#st.workers),
-            Ws1 = stop_workers(Ws),
-            {stopped, S#st{workers = Ws1}};
+            %% Ws = reset_worker(W, S#st.workers),
+            %% Ws1 = stop_workers(Ws),
+            %% {stopped, S#st{workers = Ws1}};
+            {continue, S};
        continue ->
            {continue, S};
        {error, _} ->