From 0e16b5964739be63cf36e43fd25e6b8d99a60247 Mon Sep 17 00:00:00 2001 From: Ulf Wiger Date: Fri, 23 May 2025 15:30:28 +0200 Subject: [PATCH] Continue after reported solution --- gmhc_config-testnet-local.eterm | 8 ++++---- src/gmhc_server.erl | 7 ++++--- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/gmhc_config-testnet-local.eterm b/gmhc_config-testnet-local.eterm index 7a49f41..e2c0fa0 100644 --- a/gmhc_config-testnet-local.eterm +++ b/gmhc_config-testnet-local.eterm @@ -3,9 +3,9 @@ , pool => #{id => <<"ct_26xqeE3YKmZV8jrks57JSgZRCHSuG4RGzpnvdz6AAiSSTVbJRM">>, host => <<"127.0.0.1">>} , workers => - [#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"gmcuckoo">>} - ,#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"gmcuckoo">>} - ,#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"gmcuckoo">>} - ,#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"gmcuckoo">>} + [#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"cpu">>} + ,#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"cpu">>} + ,#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"cpu">>} + ,#{executable => <<"mean15-generic">>, <<"executable_group">> => <<"cpu">>} ] }. diff --git a/src/gmhc_server.erl b/src/gmhc_server.erl index db7cbf1..9ad83dc 100644 --- a/src/gmhc_server.erl +++ b/src/gmhc_server.erl @@ -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, _} ->