diff options
| author | Tim Deegan <Tim.Deegan@xensource.com> | 2007-01-15 16:04:32 +0000 |
|---|---|---|
| committer | Tim Deegan <Tim.Deegan@xensource.com> | 2007-01-15 16:04:32 +0000 |
| commit | d50a0b66da607f0076fc4231bd13d121f7de701f (patch) | |
| tree | 26f2e7ef98e5aced5d5a84ab1794b130e52ea7d8 /tools/pygrub | |
| parent | 6127793b4cb670dff71bfa89082bdbc8c6db8576 (diff) | |
| download | xen-d50a0b66da607f0076fc4231bd13d121f7de701f.tar.gz xen-d50a0b66da607f0076fc4231bd13d121f7de701f.tar.bz2 xen-d50a0b66da607f0076fc4231bd13d121f7de701f.zip | |
[PYGRUB] Make the boot-choice timeout actually time out.
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
Diffstat (limited to 'tools/pygrub')
| -rw-r--r-- | tools/pygrub/src/pygrub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub index 13b05d9a67..a0de67df67 100644 --- a/tools/pygrub/src/pygrub +++ b/tools/pygrub/src/pygrub @@ -405,6 +405,9 @@ class Grub: c = self.screen.getch() if mytime != -1: mytime += 1 + if mytime >= int(timeout): + self.isdone = True + break # handle keypresses if c == ord('c'): |