gen_leader usage/pointers

[Juan Jose Comellas]

Can anyone who's ever used or (even better!) written one of the many
gen_leader incarnations point me to some documentation/examples on how to
use it? I have a scenario where I have to keep a master process (to be
chosen randomly or according to load) with slaves that takeover when the
master goes down. I'm not sure if gen_leader is the correct solution, as the
master communicates to an external service and there will be more than one.
Both the master and the slave have open sockets to the external service and
the slave socket is "activated" as soon as the master goes down.

I'd appreciate any pointers anybody might give me.

Thanks,

Juanjo