X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=a92d6c040ff4a3ff8cdef27d72b027d32a766a3c;hb=fcebe62ed4634c3185f449593ba9fd438fb075d9;hp=4609e4eded20f39fc93e74e4d432b4de25ee4772;hpb=a353919df75c25331144602421353a856f4236d6;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 4609e4eded..a92d6c040f 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -51,7 +51,6 @@
 #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"
@@ -92,7 +91,6 @@ main (int argc, char **argv)
   output_engine_push ();
   fh_init ();
   settings_init ();
-  terminal_check_size ();
   random_init ();
 
   lexer = lex_create ();
@@ -160,13 +158,13 @@ main (int argc, char **argv)
     }
 
 
+  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 ();
@@ -226,9 +224,11 @@ output_msg (const struct msg *m_, void *lexer_)
       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