mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 00:29:23 +00:00
Fix bugs in grub_getkey introduced in previous commit
This commit is contained in:
1 parent
9518e2a12b
commit
071b673a7b
1 file changed
+6
-2
+6
-2
@@ -104,15 +104,19 @@ grub_checkkey (void)
|
|||||||
int
|
int
|
||||||
grub_getkey (void)
|
grub_getkey (void)
|
||||||
{
|
{
|
||||||
|
int ret;
|
||||||
|
|
||||||
grub_refresh ();
|
grub_refresh ();
|
||||||
|
|
||||||
while (pending_key != GRUB_TERM_NO_KEY)
|
grub_checkkey ();
|
||||||
|
while (pending_key == GRUB_TERM_NO_KEY)
|
||||||
{
|
{
|
||||||
grub_cpu_idle ();
|
grub_cpu_idle ();
|
||||||
grub_checkkey ();
|
grub_checkkey ();
|
||||||
}
|
}
|
||||||
|
ret = pending_key;
|
||||||
pending_key = GRUB_TERM_NO_KEY;
|
pending_key = GRUB_TERM_NO_KEY;
|
||||||
return pending_key;
|
return ret;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user