config_get_option
Description:
Parses an available config and gets the option at index of the options API array.
Parameters:
| config |
a BufferPool configuration |
| index |
position in the option array to read |
Returns:
|
the option at |