internal static int Delete(DeleteConfig !config)
{
if (config.servers == null)
{
Console.WriteLine("no servers given");
return(-1);
}
DNSContract.Imp dnsConn = ((!)config.dnsRef).Acquire();
if (dnsConn == null)
{
Console.WriteLine("Could not initialize DNS endpoint.");
return(1);
}
dnsConn.RecvReady();
for (int i = 0; i < config.servers.Length; i++)
{
IPv4 resolver;
if (IPv4.Parse(config.servers[i], out resolver) == false)
{
Console.WriteLine("Invalid IP address: {0}", config.servers[i]);
}
dnsConn.SendRemoveNameServer((uint)resolver);
dnsConn.RecvAck();
}
delete dnsConn;
return(0);
}
public static void DNSShow(DNSContract.Imp : ReadyState !dnsConn)
internal static void ReleaseDnsConnection([Claims] DNSContract.Imp : ReadyState !connection)
