close the port

main
Matthew Butterick 4 years ago
parent dcdff69b14
commit 03b6da8f22

@ -147,6 +147,7 @@
(write-bytes-out "startxref") (write-bytes-out "startxref")
(write-bytes-out (numberizer xref-offset)) (write-bytes-out (numberizer xref-offset))
(write-bytes-out "%%EOF") (write-bytes-out "%%EOF")
(flush-output)
(close-output-port (current-output-port)) (close-output-port (current-output-port))
(current-output-port last-output-port)) (current-output-port last-output-port))

Loading…
Cancel
Save