+ ds_put_format (&string, "%s: ", msg_get_command_name ());
+
+ ds_put_cstr (&string, m->text);
+
+ if (msg_file != stdout || settings_get_error_routing_to_terminal ())
+ dump_message (ds_cstr (&string),
+ isatty (fileno (msg_file)) ? settings_get_viewwidth () : INT_MAX, 8,
+ write_stream, msg_file);