On 18/10/14 00:46, leo@yuriev.ru wrote:
Actually that too is too early to set mr_pid: We must be sure env_close() will reset it. But it is also too late, we must get rid of any garbage value in md_pid at once to protect it from other processes' env_close(). Fixing.
Also, I'll rename the confusingly named me_numreaders to me_close_readers and drop some confused code using it.