diff --git a/src/gmc_gui.erl b/src/gmc_gui.erl index 1145b1d..d325bad 100644 --- a/src/gmc_gui.erl +++ b/src/gmc_gui.erl @@ -331,6 +331,12 @@ do_message({error, #{info := #{info := #{error := get_failed, data := {error, #{ do_message({error, #{info := #{info := #{error := connect_failure, data := {error, failed}}, module := gmhc_eureka}}}, State) -> Entry = "\nConnection terminated. Retrying.", do_message2(Entry, State); +do_message({error, #{info := #{info := #{error := cannot_start_worker}, module := gmhc_server}}}, State) -> + Entry = "\nSolver barfed on previous input.", + do_message2(Entry, State); +do_message({error, #{info := #{info := #{error := worker_error}, module := gmhc_server}}}, State) -> + Entry = "\nWorker tripped up. Moving on...", + do_message2(Entry, State); do_message(Terms, State) -> tell(info, "~p", [Terms]), Entry = io_lib:format("~n~tp", [Terms]),