public void setInputStream(Stream ins)
{
//ConsoleStream low buffer patch
if (ins != null)
{
if (ins.GetType() == Type.GetType("System.IO.__ConsoleStream"))
{
ins = new Tamir.Streams.ProtectedConsoleStream(ins);
}
else if (ins.GetType() == Type.GetType("System.IO.FileStream"))
{
ins = new Tamir.Streams.ProtectedConsoleStream(ins);
}
this.ins = new JStream(ins);
}
else
{
this.ins = null;
}
}