more
This commit is contained in:
parent
f4a3260373
commit
f25f4f9882
|
@ -2790,8 +2790,6 @@ let write_stream name stream =
|
||||||
done;
|
done;
|
||||||
close_out fh
|
close_out fh
|
||||||
|
|
||||||
(* FIXME: File and command quoting check on unix, windows inc command.exe *)
|
|
||||||
(* FIXME: Document it *)
|
|
||||||
let write_image pdf resources name image =
|
let write_image pdf resources name image =
|
||||||
match Pdfimage.get_image_24bpp pdf resources image with
|
match Pdfimage.get_image_24bpp pdf resources image with
|
||||||
| Pdfimage.JPEG (stream, _) -> write_stream (name ^ ".jpg") stream
|
| Pdfimage.JPEG (stream, _) -> write_stream (name ^ ".jpg") stream
|
||||||
|
@ -2807,7 +2805,7 @@ let write_image pdf resources name image =
|
||||||
"" -> Printf.eprintf "Neither pnm2png nor imagemagick found. Specify with -p2p or -im\n"
|
"" -> Printf.eprintf "Neither pnm2png nor imagemagick found. Specify with -p2p or -im\n"
|
||||||
| _ ->
|
| _ ->
|
||||||
begin match
|
begin match
|
||||||
Sys.command (args.path_to_im ^ " " ^ name ^ ".pnm" ^ " " ^ name ^ ".png")
|
Sys.command (args.path_to_im ^ " " ^ "\"" ^ name ^ ".pnm\"" ^ " " ^ "\"" ^ name ^ ".png\"")
|
||||||
with
|
with
|
||||||
0 -> Sys.remove (name ^ ".pnm");
|
0 -> Sys.remove (name ^ ".pnm");
|
||||||
| _ ->
|
| _ ->
|
||||||
|
|
Loading…
Reference in New Issue