direct-io.hg

changeset 13383:ba18aa8b9315

[PYGRUB] Make the boot-choice timeout actually time out.
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
author Tim Deegan <Tim.Deegan@xensource.com>
date Mon Jan 15 16:04:32 2007 +0000 (2007-01-15)
parents ef23a0150abb
children 72b977953aaf
files tools/pygrub/src/pygrub
line diff
     1.1 --- a/tools/pygrub/src/pygrub	Mon Jan 15 15:58:51 2007 +0000
     1.2 +++ b/tools/pygrub/src/pygrub	Mon Jan 15 16:04:32 2007 +0000
     1.3 @@ -405,6 +405,9 @@ class Grub:
     1.4              c = self.screen.getch()
     1.5              if mytime != -1:
     1.6                  mytime += 1
     1.7 +                if mytime >= int(timeout):
     1.8 +                    self.isdone = True
     1.9 +                    break
    1.10  
    1.11              # handle keypresses
    1.12              if c == ord('c'):