protected void Finished() { textPool.Add (text_builder.ToString ()); text_builder.Length = 0; Close (); // Close streams and clear tmpfiles when done isFinished = true; }