re-added copy check

diff --git a/lib/pdf/pdf.cc b/lib/pdf/pdf.cc
index 71e7cfa..840a8da 100644 (file)
--- a/lib/pdf/pdf.cc
+++ b/lib/pdf/pdf.cc
@@ -133,6 +133,11 @@ static void render2(gfxpage_t*page, gfxdevice_t*dev, int x,int y, int x1,int y1,
     pdf_doc_internal_t*pi = (pdf_doc_internal_t*)page->parent->internal;
     gfxsource_internal_t*i = (gfxsource_internal_t*)pi->parent->internal;
 
+    if(pi->nocopy) {
+        msg("<fatal> PDF disallows copying");
+        exit(0);
+    }
+
     CommonOutputDev*outputDev = 0;
     if(pi->config_full_bitmap_optimizing) {
        FullBitmapOutputDev*d = new FullBitmapOutputDev(pi->info, pi->doc);