Delete the ridl config

Delete the configuration settings for using RIDL

Usage

ridl_config_delete()

Details

Delete RIDL config

Examples

if (FALSE) {
# Setting the config to use RIDL default server
ridl_config_set()
ridl_config_get()

ridl_config_delete()
ridl_config_get()
}