get_num_dns

Description:

public uint32 get_num_dns ()

Parameters:

this

the SettingIP4Config

Returns:

the number of configured DNS servers