//JAVA TO C# CONVERTER WARNING: 'final' parameters are ignored unless the option to convert to C# 7.2 'in' parameters is selected:
//ORIGINAL LINE: private static void pipe(final String prefix, final java.io.InputStream source, final java.io.PrintStream target)
private static void Pipe(string prefix, Stream source, PrintStream target)
{
lock (typeof(PipeThread))
{
if (_piper == null)
{
_piper = new PipeThread();
_piper.Start();
}
_piper.tasks.add(new PipeTask(prefix, source, target));
}
}
