X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=673b88b199e07079e168a5161b45e9d89e2c3770;hb=9b94efd7513afdb12a6023024e00e50801532fee;hp=2f80cb57a3b06e5ad32e3071c0748895c87f9480;hpb=d56946881b61c6eed503c7266840ea307bddafdd;p=pspp-builds.git diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c index 2f80cb57..673b88b1 100644 --- a/src/ui/terminal/main.c +++ b/src/ui/terminal/main.c @@ -91,7 +91,6 @@ main (int argc, char **argv) fpu_init (); gsl_set_error_handler_off (); - fmt_init (); outp_init (); fn_init (); fh_init (); @@ -110,7 +109,7 @@ main (int argc, char **argv) if (parse_command_line (argc, argv, the_source_stream)) { msg_ui_init (the_source_stream); - if (!get_testing_mode ()) + if (!settings_get_testing_mode ()) outp_read_devices (); else outp_configure_driver_line ( @@ -210,6 +209,5 @@ clean_up (void) readln_uninitialize (); outp_done (); msg_ui_done (); - fmt_done (); } }