protected void Error() { // Add whatever was reported till error textPool.Add (text_builder.ToString ()); text_builder.Length = 0; Close (); // Close streams and clear tmpfiles on error has_error = true; }