/* GDB is usually silent when a parameter is set. */
if (*msg.get () != '\0')
- printf_filtered ("%s\n", msg.get ());
+ gdb_printf ("%s\n", msg.get ());
}
/* A callback function that is registered against the respective
error (_("Error converting show text to host string."));
}
- fprintf_filtered (file, "%s\n", msg.get ());
+ gdb_printf (file, "%s\n", msg.get ());
}
/* A helper function that dispatches to the appropriate add_setshow