Leaving on process group misfunctioning
seb3s opened this issue · comments
Sébastien Saint-Sevin commented
When we leave a process that belongs to multiple groups, it is unlinked. This should be the case only when that process belongs to one group and only one. Otherwise the gen_server is no more able to track EXIT messages to properly clean the other groups that process belongs to when it will die.
Roberto Ostinelli commented
Thank you, merged in.