finitomata
finitomata copied to clipboard
Two `Infinitomata` supervisors must use different `pg` groups
Basically, pg
group should not be the default one, it should use the id
.
Otherwise, it’s impossible to distinguish between workers.