public static void DumpAndExit(Exception ex)
{
//FIXME this should never happen
//there is a programming error to be fixed
Try(() => Dump(ex));
Try(() => Stdio.SetStatus("{0} {1}", ex.GetType(), ex.Message));
Try(() => Stdio.LogError(ex));
Environment.Exit(1);
}
public void WriteLine(string format, params object[] args)
{
Stdio.WriteLine(format, args);
}
public string ReadLine()
{
return(Stdio.ReadLine());
}
