Ejemplo n.º 1
0
 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;
     }
 }