On 1/8/18 15:30, Andrew Dunstan wrote:
> On 12/19/2017 12:31 PM, Peter Eisentraut wrote:
>> ISTM that some of the portal-related memory context naming is a bit
>> antiquated and at odds with current terminology. In this patch, I
>> propose to rename PortalMemory to TopPortalContext and rename
>> P
Peter Eisentraut wrote:
> Subject: [PATCH 1/2] Update portal-related memory context names and API
>
> Rename PortalMemory to TopPortalContext, to avoid confusion with
> PortalContext and align naming with similar top-level memory contexts.
>
> Rename PortalData's "heap" field to portalContext.
On 12/19/2017 12:31 PM, Peter Eisentraut wrote:
> ISTM that some of the portal-related memory context naming is a bit
> antiquated and at odds with current terminology. In this patch, I
> propose to rename PortalMemory to TopPortalContext and rename
> Portal->heap to Portal->portalContext, and t
