Ejemplo n.º 1
0
        // Queues a character to be echo'd back to the console
        void QueueEcho(char c)
        {
            if (echobuf == null)
            {
                echobuf = new char [1024];
            }

            echobuf[echon++] = c;

            if (echon == echobuf.Length || !InputPending())
            {
                // blit our echo buffer to the console
                stdout.InternalWriteChars(echobuf, echon);
                echon = 0;
            }
        }