+
+void pdf_destroy(gfxsource_t*src)
+{
+ if(!src->internal)
+ return;
+ gfxsource_internal_t*i = (gfxsource_internal_t*)src->internal;
+ free(src->internal);src->internal=0;
+
+ parameter_t*p = device_config;
+ while(p) {
+ parameter_t*next = p->next;
+ if(p->name) free(p->name);p->name = 0;
+ if(p->value) free(p->value);p->value =0;
+ p->next = 0;delete p;
+ p = next;
+ }
+ delete globalParams;globalParams = 0;
+ free(src);
+}