Close files properly

This commit is contained in:
John Whitington 2024-01-04 10:35:11 +00:00
parent ecb3193c3a
commit a8603881a8
1 changed files with 2 additions and 1 deletions

View File

@ -525,7 +525,8 @@ let jpeg_to_jpeg pdf ~pixel_threshold ~length_threshold ~percentage_threshold ~q
else else
begin begin
if !debug_image_processing then Printf.printf "no size reduction\n%!" if !debug_image_processing then Printf.printf "no size reduction\n%!"
end end;
close_in result
end end
else else
begin Printf.printf "external process failed\n%!" end; begin Printf.printf "external process failed\n%!" end;