diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/pygrub/src/pygrub | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub index 0bd4578b9e..98b4352b85 100644 --- a/tools/pygrub/src/pygrub +++ b/tools/pygrub/src/pygrub @@ -441,7 +441,11 @@ class Grub: # Timed out waiting for a keypress if mytime != -1: mytime += 1 - if mytime >= int(timeout): + # curses.timeout() does not work properly on Solaris + # So we may come here even after a key has been pressed. + # Check both timeout and mytime to avoid exiting + # when we shouldn't. + if timeout != -1 and mytime >= int(timeout): self.isdone = True break else: |