public override void Terminate()
{
string stats = ToNotifyString();
try {
Stats.WriteReport(RuntimeStatsFileName, stats);
} catch (IOException ioe) {
Console.Error.WriteLine(ioe);
ExceptionExtensions.PrintStackTrace(ioe, Console.Error);
}
Console.Out.WriteLine(ToString(stats));
}
public override void Terminate()
{
string stats = ToNotifyString();
try
{
Stats.WriteReport(RUNTIME_STATS_FILENAME, stats);
}
catch (IOException ex)
{
Console.Error.WriteLine(ex);
Console.Error.WriteLine(ex.StackTrace);
}
Console.Out.WriteLine(Profiler.ToString(stats));
}
public override void Terminate()
{
string stats = ToNotifyString();
try
{
Stats.WriteReport(RUNTIME_STATS_FILENAME, stats);
}
catch (IOException ioe)
{
Console.Error.WriteLine(ioe);
ioe.PrintStackTrace(Console.Error);
}
Console.Out.WriteLine(ToString(stats));
}