©
Ce document utilise Manuel du site Web PHP chinois Libérer
void SPI_pfree(void * pointer)
SPI_pfree
frees memory previously allocated
using SPI_palloc
or
SPI_repalloc
.
This function is no longer different from plain
pfree
. It's kept just for backward
compatibility of existing code.
pointer to existing storage to free