New patch attached. I'm not sure if putting the exception in ZODBRoleManager.py is the appropriate place - should it go somewhere more central?
As an aside, the ideal solution to this bug would be to make ZODBRoleManager deal with duplicate principals more gracefully - is this realistic or does too much of the code assume there is only one principal for a given id?
New patch attached. I'm not sure if putting the exception in ZODBRoleManager.py is the appropriate place - should it go somewhere more central?
As an aside, the ideal solution to this bug would be to make ZODBRoleManager deal with duplicate principals more gracefully - is this realistic or does too much of the code assume there is only one principal for a given id?
Cheers,
Patrick