[Demexp-cvs] arch commit: demexp--development--0.1--patch-121

[David]

Revision: demexp--development--0.1--patch-121
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 29 19:27:00 CET 2004
Standard-date: 2004-02-29 18:27:00 GMT
Modified-files: srv/delegation.ml.nw
    srv/demexp-server-book.tex
New-patches: address@hidden/demexp--development--0.1--patch-121
Summary: server: bug fix for self-delegation bug
Keywords: 

* The bug where a delegate could delegate to itself is now fixed. The
  loop was not detected because, as the delegation was not yet added to
  the delegation base, it was not found when the procedure looked for
  delegations. The case is now handled explicitely. An autotest has been
  added.