public flusher( StreamReader input_stream, TextWriter output_stream ) { this.input_stream= input_stream; this.output_stream= output_stream; flusher_thread= new Thread( new ThreadStart( Start ) ); flusher_thread.Start(); }