BUG #1161: User permissions are kept, even if user is dropped

The following bug has been logged online:

Bug reference:      1161
Logged by:          Martin

Email address:      martin@4finger.net

PostgreSQL version: 7.4

Operating system:   Linux

Description:        User permissions are kept, even if user is dropped

Details:

Hi,

dropping and creating a user will keep the *old* permission on objects:

The following statements will grant access to the user
foe:

  create user friend;
  create table secret (passwd char(30));
  grant all on secret to friend;
  \dp secret;
  drop user friend;
  -- The permissions are still existing
  -- (on a numeric user-id)
  \dp secret;
  create user foe;
  -- The user foe "inherits" the old permissions
  \dp secret;

This is not what I would have expected.  If this behaviour is valid, there
should be a warning in the documentation, that creating a user may inherit
some "dangling" permissions.

Best regards,
Martin