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)