int ipfix_deinit_set_manager(ipfix_set_manager **set_manager)
static int ipfix_deinit_set_manager(ipfix_set_manager **set_manager)
int ipfix_deinit_set_manager(ipfix_set_manager **set_manager){	/*	 WARNING: this will blow, if the header's content is still in	 the sendbuffer. Call this ONLY, if the sendbuffer is	 a) reseted	 b) won't be send any more!	 it will refuse to free the set manager, as long as the header_iovec	 is still set (i.e. is not null!)         */	if ( (**set_manager).header_iovec != NULL ) {		fprintf (stderr, "Set manager still may have data to be sent. Refusing to free it!\n");		return -1;	}	// free the header buffer:	free( (**set_manager).set_header_store);	// free memory from the set manager	free(*set_manager);	*set_manager=NULL;	return 0;}