From 03b6da8f226769f48b4326798f3f1dd45769dda0 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 25 May 2020 12:32:33 -0700 Subject: [PATCH] close the port --- pitfall/pitfall/pdf.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/pitfall/pitfall/pdf.rkt b/pitfall/pitfall/pdf.rkt index 52df52d6..25c26ad1 100644 --- a/pitfall/pitfall/pdf.rkt +++ b/pitfall/pitfall/pdf.rkt @@ -147,6 +147,7 @@ (write-bytes-out "startxref") (write-bytes-out (numberizer xref-offset)) (write-bytes-out "%%EOF") + (flush-output) (close-output-port (current-output-port)) (current-output-port last-output-port))