On 4/19/12, Ihar `Philips` Filipau <[email protected]> wrote:
>
> Here is a patch which extends shell escape to cover: device name,
> output file name, ps file name. Win32 part was /tested/ on *nix with
> my eyes. And as it turned out (live and learn) cmd.exe has a command
> separator - &, accidentally a valid file name character - and it too
> has to be escaped. Guess what's escape character? 3... 2... 1... Wrong
> - it's '^', which itself has to be escaped too.
>
> Have fun.
>

Oops. And now patch for real.

Attachment: pdftohtml-shell-escape-gs-dev-004.diff
Description: Binary data

_______________________________________________
poppler mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/poppler

Reply via email to