void destroyConnectMem () { freeMem_manager ( cn_mem_manager ); cn_mem_manager = NULL; }
void destroyReadIntervMem() { freeMem_manager ( rv_mem_manager ); rv_mem_manager = NULL; }