#include "ui/source-init-opts.h"
#include "ui/terminal/terminal-opts.h"
#include "ui/terminal/terminal-reader.h"
-#include "ui/terminal/terminal.h"
#include "gl/fatal-signal.h"
#include "gl/progname.h"
output_engine_push ();
fh_init ();
settings_init ();
- terminal_check_size ();
random_init ();
lexer = lex_create ();
}
+ output_engine_pop ();
session_destroy (the_session);
random_done ();
settings_done ();
fh_done ();
lex_destroy (lexer);
- output_engine_pop ();
i18n_done ();
return msg_ui_any_errors ();
m.last_line = lex_get_last_line_number (lexer, 0);
}
- m.command_name = CONST_CAST (char *, output_get_command_name ());
+ m.command_name = output_get_command_name ();
message_item_submit (message_item_create (&m));
+
+ free (m.command_name);
}
static void