Re: server: Return old privileges in adjust_token_privileges