Rev 4310 | Rev 4323 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4310 | Rev 4318 | ||
|---|---|---|---|
| Line 124... | Line 124... | ||
| 124 | 124 | ||
| 125 | void grab_console(void) |
125 | void grab_console(void) |
| 126 | { |
126 | { |
| 127 | silent = false; |
127 | silent = false; |
| 128 | arch_grab_console(); |
128 | arch_grab_console(); |
| - | 129 | ||
| - | 130 | /* Force the console to print the prompt */ |
|
| - | 131 | if (stdin) |
|
| - | 132 | indev_push_character(stdin, '\n'); |
|
| 129 | } |
133 | } |
| 130 | 134 | ||
| 131 | void release_console(void) |
135 | void release_console(void) |
| 132 | { |
136 | { |
| 133 | silent = true; |
137 | silent = true; |