@@ -181,12 +181,14 @@ void vga_hw_screen_dump(const char *filename)
/* There is currently no way of specifying which screen we want to dump,
so always dump the first one. */
- console_select(0);
+ if (previous_active_console && previous_active_console->index != 0) {
+ console_select(0);
+ }
if (consoles[0] && consoles[0]->hw_screen_dump) {
consoles[0]->hw_screen_dump(consoles[0]->hw, filename);
}
- if (previous_active_console) {
+ if (previous_active_console && previous_active_console->index != 0) {
console_select(previous_active_console->index);
}
}