[PYGRUB] Make the boot-choice timeout actually time out.

Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>

diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub
index 13b05d9a67314016181bcc8f225c444706711b4e..a0de67df6771e9cf5ac04291d898217e275d033a 100644 (file)
--- 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'):