X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=64a7d2ec013e97a732b782570c25869b85fa669b;hb=5d1c4655e2d9b739bc4f542c5c143172e3481f16;hp=478c2fd515c6c1f9c2f6901460cb0e05d751ab2a;hpb=7e37a4f7dc77ef11bc63886f40ded6d1d541a184;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 478c2fd5..64a7d2ec 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -72,7 +72,6 @@ static void add_syntax_file (struct source_stream *, enum syntax_mode,
                              const char *file_name);
 static void bug_handler(int sig);
 static void fpu_init (void);
-static void clean_up (void);
 
 /* Program entry point. */
 int
@@ -153,7 +152,19 @@ main (int argc, char **argv)
     }
 
 
-  clean_up ();
+  destroy_dataset (the_dataset);
+
+  random_done ();
+  settings_done ();
+  fh_done ();
+  lex_destroy (the_lexer);
+  destroy_source_stream (the_source_stream);
+  prompt_done ();
+  readln_uninitialize ();
+  output_close ();
+  msg_ui_done ();
+  i18n_done ();
+
   return msg_ui_any_errors ();
 }
 
@@ -201,30 +212,6 @@ bug_handler(int sig)
   raise (sig);
 }
 
-/* Clean up PSPP in preparation for termination.  */
-static void
-clean_up (void)
-{
-  static bool terminating = false;
-  if (!terminating)
-    {
-      terminating = true;
-
-      destroy_dataset (the_dataset);
-
-      random_done ();
-      settings_done ();
-      fh_done ();
-      lex_destroy (the_lexer);
-      destroy_source_stream (the_source_stream);
-      prompt_done ();
-      readln_uninitialize ();
-      output_close ();
-      msg_ui_done ();
-      i18n_done ();
-    }
-}
-
 static void
 add_syntax_file (struct source_stream *ss, enum syntax_mode syntax_mode,
                  const char *file_name)