Re: [Hurd-NG] Error in dir_rename pseudo-code

[Marcus Brinkmann]

At Wed, 26 Apr 2006 14:05:58 +0200,
Pierre THIERRY <address@hidden> wrote:
> 
> [1  <multipart/signed (7bit)>]
> [1.1  <text/plain; us-ascii (quoted-printable)>]
> Scribit Marcus Brinkmann dies 26/04/2006 hora 13:40:
> > Even if there were an eq? operation, it would require disclosing
> > new_dir to dir (or vice versa), invalidating one of my arguments in
> > favor of this implementation.  So, it is important that you pointed it
> > out.
> 
> I'm not sure, but I think there is a equality operation, and it does not
> disclose anything to the compared caps: coyotos.disrim.compare(). Or it
> compares identity of type?

This only checks for exact identity.  But a server may give out
different capabiilities to the same directory, notably if they convey
permissions.

Furthermore, it is not clear if giving access to discrim to all tasks
is secure.  Maybe that involves a judgement decision.

Thanks,
Marcus