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; |