<p dir="ltr">Sorry,  my mistake. Thought in printf syntax and haven't tested it before answer.</p>
<p dir="ltr">Thomas</p>
<div class="gmail_extra"><br><div class="gmail_quote">Am 09.10.2016 16:18 schrieb "Pino Toscano" <<a href="mailto:pino@kde.org">pino@kde.org</a>>:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
(no need to CC me, I'm subscribed to the list already.)<br>
<div class="quoted-text"><br>
In data domenica 9 ottobre 2016 15:30:44 CEST, Thomas Freitag ha scritto:<br>
> That's not correct,  Pino<br>
<br>
</div>No, my change is correct.<br>
<div class="quoted-text"><br>
> If you take a deeper look at this error message, the %d is not a<br>
> placeholder for a number, the percent sign should be printed. And to asure<br>
> this it's escaped by a second percent sign.<br>
<br>
</div>error() uses GooString::format(), which uses its own syntax for<br>
placeholders, described also in the comment above the<br>
GooString::format() declaration in GooString.h.  % is not used at all<br>
by this function, and thus it was printed twice.<br>
<br>
In this specific example:<br>
<div class="quoted-text"><br>
> -    error(errSyntaxError, -1, "'{0:s}' must contain '%%d' if more than one page should be extracted", destFileName);<br>
> +    error(errSyntaxError, -1, "'{0:s}' must contain '%d' if more than one page should be extracted", destFileName);<br>
<br>
</div>the placeholder for "destFileName" is the "{0:s}" part in the error<br>
string.<br>
<font color="#888888"><br>
--<br>
Pino Toscano</font><br>______________________________<wbr>_________________<br>
poppler mailing list<br>
<a href="mailto:poppler@lists.freedesktop.org">poppler@lists.freedesktop.org</a><br>
<a href="https://lists.freedesktop.org/mailman/listinfo/poppler" rel="noreferrer" target="_blank">https://lists.freedesktop.org/<wbr>mailman/listinfo/poppler</a><br>
<br></blockquote></div><br></div>