[PYGRUB] Make the boot-choice timeout actually time out.
authorTim Deegan <Tim.Deegan@xensource.com>
Mon, 15 Jan 2007 16:04:32 +0000 (16:04 +0000)
committerTim Deegan <Tim.Deegan@xensource.com>
Mon, 15 Jan 2007 16:04:32 +0000 (16:04 +0000)
commitd50a0b66da607f0076fc4231bd13d121f7de701f
tree26f2e7ef98e5aced5d5a84ab1794b130e52ea7d8
parent6127793b4cb670dff71bfa89082bdbc8c6db8576
[PYGRUB] Make the boot-choice timeout actually time out.
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
tools/pygrub/src/pygrub