get_num_dns

Description:

public uint32 get_num_dns ()

Parameters:

this

the SettingIP6Config

Returns:

the number of configured DNS servers