release_opid

Description:

public void release_opid (uint32 opid)

Releases opid previously reserved by reserve_opid .

Parameters:

this

an OperationPool
opid

an operation ID