static void Main(string[] args)
{
Console.WriteLine("IronSHTServer program started");
Console.WriteLine("Processing command-line arguments");
Params ps = new Params();
foreach (var arg in args)
{
if (!ps.ProcessCommandLineArgument(arg))
{
usage();
return;
}
}
if (!ps.Validate())
{
usage();
return;
}
ServiceIdentity serviceIdentity = ServiceIdentity.ReadFromFile(ps.ServiceFileName);
if (serviceIdentity == null)
{
return;
}
if (serviceIdentity.ServiceType != "IronSHT")
{
Console.Error.WriteLine("ERROR - Service described by {0} is of type {1}, not IronSHT", ps.ServiceFileName,
serviceIdentity.ServiceType);
return;
}
PrivateIdentity privateIdentity = PrivateIdentity.ReadFromFile(ps.PrivateKeyFileName);
if (privateIdentity == null)
{
return;
}
Native____Io__s_Compile.PrintParams.SetParameters(ps.Profile, i_shouldPrintProgress: false);
var nc = Native____Io__s_Compile.NetClient.Create(privateIdentity, ps.LocalHostNameOrAddress, ps.LocalPort,
serviceIdentity.Servers, ps.Verbose);
Dafny.ISequence <byte>[] serverPublicKeys =
serviceIdentity.Servers.Select(server => Dafny.Sequence <byte> .FromArray(server.PublicKey)).ToArray();
var ironArgs = Dafny.Sequence <Dafny.ISequence <byte> > .FromArray(serverPublicKeys);
Profiler.Initialize();
Native____Io__s_Compile.Time.Initialize();
Console.WriteLine("IronFleet program started.");
Console.WriteLine("[[READY]]");
Main__i_Compile.__default.IronfleetMain(nc, ironArgs);
Console.WriteLine("[[EXIT]]");
}
static void Main(string[] args)
{
Params ps = new Params();
foreach (var arg in args)
{
if (!ps.ProcessCommandLineArgument(arg))
{
usage();
return;
}
}
if (!ps.Validate())
{
return;
}
ServiceIdentity serviceIdentity = ServiceIdentity.ReadFromFile(ps.ServiceFileName);
if (serviceIdentity == null)
{
return;
}
PrivateIdentity privateIdentity = PrivateIdentity.ReadFromFile(ps.PrivateKeyFileName);
if (privateIdentity == null)
{
return;
}
var runner = new Runner(serviceIdentity, privateIdentity, ps);
runner.Run();
}
static void Main(string[] args)
{
Console.WriteLine("IronRSL{0}Server program started", Service.Name);
Console.WriteLine("Processing command-line arguments");
Params ps = new Params();
foreach (var arg in args)
{
if (!ps.ProcessCommandLineArgument(arg))
{
usage();
return;
}
}
if (!ps.Validate())
{
usage();
return;
}
ServiceIdentity serviceIdentity = ServiceIdentity.ReadFromFile(ps.ServiceFileName);
if (serviceIdentity == null)
{
return;
}
if (serviceIdentity.ServiceType != "IronRSL" + Service.Name)
{
Console.Error.WriteLine("Provided service identity has type {0}, not IronRSL{1}.",
serviceIdentity.ServiceType, Service.Name);
return;
}
PrivateIdentity privateIdentity = PrivateIdentity.ReadFromFile(ps.PrivateKeyFileName);
if (privateIdentity == null)
{
return;
}
Native____Io__s_Compile.PrintParams.SetParameters(ps.Profile, ps.Progress);
if (ps.Safeguard)
{
File.Delete(ps.PrivateKeyFileName);
Console.WriteLine("Deleted private key file after reading it since RSL servers should never run twice.");
}
else
{
Console.WriteLine(@"
*** DANGER: Because you specified safeguard=false, we didn't delete the ***
*** private key file to prevent you from running the RSL server twice. ***
*** Hopefully, you're just testing things. ***
");
}
var nc = Native____Io__s_Compile.NetClient.Create(privateIdentity, ps.LocalHostNameOrAddress, ps.LocalPort,
serviceIdentity.Servers, ps.Verbose);
Dafny.ISequence <byte>[] serverPublicKeys =
serviceIdentity.Servers.Select(server => Dafny.Sequence <byte> .FromArray(server.PublicKey)).ToArray();
var ironArgs = Dafny.Sequence <Dafny.ISequence <byte> > .FromArray(serverPublicKeys);
Profiler.Initialize();
Native____Io__s_Compile.Time.Initialize();
Console.WriteLine("[[READY]]");
Main__i_Compile.__default.IronfleetMain(nc, ironArgs);
Console.WriteLine("[[EXIT]]");
}
