release_buffer


Description:

public virtual void release_buffer (owned Buffer buffer)

Releases buffer to this.

buffer should have previously been allocated from this with acquire_buffer.

This function is usually called automatically when the last ref on buffer disappears.

Parameters:

this

a BufferPool

buffer

a Buffer