Re: [PATCH] sleep.mod

[Alexandre Boeglin]

Le ven 08 fév 2008 à 17:15:35 +0100, Robert Millan a écrit :
> +static int
> +grub_interruptible_millisleep (grub_uint32_t ms)
> +{
> +  grub_uint32_t end_at;
> +  
> +  end_at = grub_get_rtc () + grub_div_roundup (ms * GRUB_TICKS_PER_SECOND, 
> 1000);
> +  
> +  while (grub_get_rtc () < end_at)
> +    if (GRUB_TERM_ASCII_CHAR (grub_checkkey ()) == GRUB_TERM_ESC)
> +      return 1;
> +
> +  return 0;
> +}

I have a few issues with this on a EFI machine:
- if I press any other key but ESC, the sleep command is not interruptible
  anymore
- the keys I press are read when the command returns

Does this happen on other machines as well ?

Alex