PaulS:
Reading, and discarding, the maximum of 64 bytes in the serial buffer, is incredibly fast.
I understand that it may be fast, but I hope you can appreciate the fact that I would like something slightly faster. I emphasize efficiency in my projects, especially this one as I have a LOT riding on it. If there is no other way then of course I will be forced to burn through useless bytes of data (128 bytes total in the buffer, according to Arduino).
Is there a way to use Stream.flush() in the manner in which I am looking for? The documentation on its proper usage is a bit sketchy to me, and a definitive answer (either a yes or no) would be greatly appreciated!