uint32_t is_shown : 1;
uint32_t should_force_details : 1;
- char *kernel_console_tty;
char *override_splash_path;
char *system_default_splash_path;
char *distribution_default_splash_path;
const char* device;
char *file;
- if (state->kernel_console_tty != NULL)
- device = state->kernel_console_tty;
- else
- device = state->default_tty;
+ device = state->default_tty;
ply_trace ("redirecting debug output to %s", device);
ply_hashtable_insert (consoles, console, console);
}
- free (state->kernel_console_tty);
- state->kernel_console_tty = NULL;
-
- if (console != NULL)
- state->kernel_console_tty = strdup (console);
-
if (state->is_shown)
{
/* Do a full graphical splash if there's no weird serial console