Wait the release of a key if needed

This commit is contained in:
Laurent Vivier 2008-07-27 14:59:06 +00:00
parent 3023f1af53
commit 8edf4ba24d

View File

@ -67,6 +67,13 @@ int console_keypressed(int timeout)
{
long time = Ticks + timeout;
/* wait user releases the previous key */
while (serial_keypressed(SERIAL_MODEM_PORT) ||
serial_keypressed(SERIAL_PRINTER_PORT) ||
(vga_is_available() && keyboard_keypressed()))
;
while (!timeout || (Ticks < time))
{
if (serial_keypressed(SERIAL_MODEM_PORT))