fixed mismatched free/delete

[swftools.git] / lib / pdf / pdf.cc

diff --git a/lib/pdf/pdf.cc b/lib/pdf/pdf.cc
index f651e58..1d56679 100644 (file)
--- a/lib/pdf/pdf.cc
+++ b/lib/pdf/pdf.cc
@@ -362,7 +362,7 @@ static void pdf_set_parameter(gfxsource_t*src, const char*name, const char*value
     } else if(!strcmp(name, "help")) {
        printf("\nPDF device global parameters:\n");
        printf("fontdir=<dir>   a directory with additional fonts\n");
-       printf("font=<filename> an dditional font filename\n");
+       printf("font=<filename> an additional font filename\n");
        printf("pages=<range>   the range of pages to convert (example: pages=1-100,210-)\n");
        printf("zoom=<dpi>      the resultion (default: 72)\n");
     }  
@@ -484,10 +484,11 @@ void pdf_destroy(gfxsource_t*src)
     parameter_t*p = device_config;
     while(p) {
        parameter_t*next = p->next;
-       p->next = 0;free(p);
+       p->next = 0;delete p;
        p = next;
     }
     delete globalParams;globalParams = 0;
+    free(src);
 }
 
 gfxsource_t*gfxsource_pdf_create()