grub_term.checkkey behaviour in GRUB2

[Patrick Georgi]

Hi,

I'm working on a multiplexer terminal device (which sends requests to 
several terminals in the backend, eg. console and serial in parallel) 
and ran into different behaviour in checkkey on console and serial.

console's checkkey consumes the keypress it returns (if there is one), 
serial's doesn't. What's the intended behaviour?


Regards,
Patrick