Jacob Champion <pchampion(at)vmware(dot)com> writes:
> On Mon, 2021-01-25 at 14:04 -0500, Tom Lane wrote:
>> True, but if it did try to access the cache, accessing the user's
>> normal cache would be strictly worse than accessing the test cache.
> That's fair. Attached is a v2 that just sets KRB5CCNAME globally. Makes
> for a much smaller patch :)
I tweaked this to make it look a bit more like the rest of the script,
and pushed it. Thanks!
regards, tom lane