public void StreamDone()
{
if (dest == null)
{
throw new Exception("SedStream got done without dest being set.");
}
dest.StreamDone();
}
// static
public static void DrainStream (StreamReader reader, IMiniStreamSink sink) {
if (reader == null)
throw new ArgumentNullException ("reader");
if (sink == null)
throw new ArgumentNullException ("sink");
string line;
while ((line = reader.ReadLine ()) != null)
sink.SendLine (line);
sink.StreamDone ();
}
// static
public static void DrainStream(StreamReader reader, IMiniStreamSink sink)
{
if (reader == null)
{
throw new ArgumentNullException("reader");
}
if (sink == null)
{
throw new ArgumentNullException("sink");
}
string line;
while ((line = reader.ReadLine()) != null)
{
sink.SendLine(line);
}
sink.StreamDone();
}
public override void Close()
{
base.Close();
sink.StreamDone();
sink = null;
}
