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()); }