On Tuesday, October 16, 2018, Bertrand Delacretaz <[email protected]> wrote:
> Hi, > > On Sun, Oct 14, 2018 at 7:47 PM Jörg Hoh <[email protected]> > wrote: > > ...ok, so do we continue here?... > > I suggest mostly going with Karl's idea but fixing one obvious bug: > > 1) Introduce a new DELETE REAL USER <u> command that only deletes real > users. > > 2) Keep DELETE USER <u> as is, deleting both types of users. Document > these commands better to avoid confusion here. > > 3) Fix DELETE SERVICE USER <u> so that it only deletes service users. > > 4) None of these commands fail if <u> is not of the expected type or > does not exist, they just log INFO messages in such cases. > > I think that's a reasonable way to fix things while staying > compatible, except for 3) but the current behavior there is clearly a > bug which needs fixing. > > WDYT? +1 regards, Karl > -Bertrand > -- Karl Pauls [email protected]
