Fujii Masao <masao(dot)fujii(at)gmail(dot)com> writes:> On the second thought, I'm thinking that it might be overkill to add> such not simple code for that small benefit.
Yeah --- there's a limit to how much code we should expend on detectingthis type of error. It's not like the case is all that plausible.
One idea that I don't think got discussed is stat'ing the two directoriesand verifying that their dev/inode numbers are different. I don't knowhow portable that is though.
regards, tom lane