Re: [PATCH] user mapping extension to pg_ident.conf

> # MAPNAME      SYSTEM-USERNAME        PG-USERNAME   EFFECTIVE-USERNAME
> gssapi-user    /^(.*)@domain\.com$    simple-role   \1
> gssapi-user    /^user_a@domain\.com$  super-role    user_a
> gssapi-user    /^user_c@domain\.com$  super-role    user_c

My fault. The lower lines should be:
gssapi-user    /^user_a@domain\.com$  super-role    super_user_a
gssapi-user    /^user_c@domain\.com$  super-role    super_user_c


regards
Lars Kanis