GS + GhostPDF - close the PDF file when complete

The old code relied upon runpdf closing the file supplied to the /run
(redefined PS operator) function instead of closing the file itself.

For compatibility this now does the same with the new PDF interpreter
code. Note that unless PDFSTOPONERROR is true we will execute the PDF
file in a stopped context, so as to allow us to close the file even in
the event of an error.

1 files changed, 20 insertions, 1 deletions

diff --git a/Resource/Init/pdf_main.ps b/Resource/Init/pdf_main.ps
index 85ced9ad0..0aa940d29 100644
--- a/Resource/Init/pdf_main.ps
+++ b/Resource/Init/pdf_main.ps
@@ -1608,7 +1608,26 @@ currentdict /EnablePageHandlerDevice undef
 
 /runpdf {        % <file> runpdf -
   /NEWPDF where {/NEWPDF get} {//true} ifelse
-  {newpdf_runpdf}
+  {
+    dup type /filetype eq
+    {
+      dup
+      PDFSTOPONERROR
+      {
+        newpdf_runpdf
+      }
+      {
+        {newpdf_runpdf} stopped
+        {
+          (   **** Error: PDF interpreter encountered an error processing the file.\n) pdfformaterror
+        } if
+      }ifelse
+      closefile
+    }
+    {
+      (   **** Error: Attempt to process something other than a file object in runpdf.\n) pdfformaterror
+    } ifelse
+  }
   {
     %% Get the PDF filename (it *must* be a file even if it came from stdin it gets
     %% copied to a temporary file) and store it in pdfdict. We will use this for