Reset worker errors, retry failed workers

2025-08-21 22:46:54 +02:00
parent d61f103945
commit 196a2d9949
15 changed files with 35 additions and 7 deletions
@@ -1,5 +1,6 @@
 %% -*- mode: erlang; erlang-indent-level: 4; indent-tabs-mode: nil -*-
 -module(gmhc_sup).
+-vsn("0.4.8").

 -behaviour(supervisor).