X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput.c;h=59bccb8045324f707f792d3be6be4f2feabc1ec3;hb=3fb611d221aa070458c81c6ca8b1c78fbad9a0ab;hp=e33172e21d39c50e4bb54f309d02beb0a9faa2f2;hpb=92bfefccd465052e492f669ce561aa25b0110283;p=pspp diff --git a/src/output.c b/src/output.c index e33172e21d..59bccb8045 100644 --- a/src/output.c +++ b/src/output.c @@ -14,8 +14,8 @@ You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA - 02111-1307, USA. */ + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + 02110-1301, USA. */ #include #include "output.h" @@ -34,6 +34,9 @@ #include "settings.h" #include "str.h" +#include "gettext.h" +#define _(msgid) gettext (msgid) + /* FIXME? Should the output configuration format be changed to drivername:classname:devicetype:options, where devicetype is zero or more of screen, printer, listing? */ @@ -292,8 +295,8 @@ outp_read_devices (void) if (init_fn == NULL) { - msg (IE, _("Cannot find output initialization file. Use `-vv' to view " - "search path.")); + msg (IE, _("Cannot find output initialization file. " + "Use `-vvvv' to view search path.")); goto exit; } @@ -442,12 +445,27 @@ destroy_list (struct outp_driver ** dl) int outp_done (void) { + struct outp_driver_class_list *n = outp_class_list ; #if GLOBAL_DEBUGGING if (iterating_driver_list) reentrancy (); #endif destroy_list (&outp_driver_list); + while (n) + { + struct outp_driver_class_list *next = n->next; + free(n); + n = next; + } + outp_class_list = NULL; + + free (outp_title); + outp_title = NULL; + + free (outp_subtitle); + outp_subtitle = NULL; + return 1; }