Fix crash.

[sodul]

I'm not sure why %d is not working but switching to %s made the tool
report numbers properly without breaking.

[thomasf]

it was probably something like this #7 (comment)

[thomasf]

Or did the error actually include a string?

[sodul]

Yes, that is the same issue, the output after setting %s showed numbers and not text strings, so my patch should resolve the issue.

Sent from my iPhone

On Nov 8, 2012, at 11:17, Thomas Frössman [email protected] wrote:

Or did the error actually include a string?

—
Reply to this email directly or view it on GitHub.

[thomasf]

But dynamic configuration is allowed, instead the linter should ignore those lines since it cannot understand what they really represent.

[sodul]

The proper fix is probably to cast the values to int() before passing them.

Sent from my iPhone

On Nov 8, 2012, at 12:27, Thomas Frössman [email protected] wrote:

But text strings are allowed, instead the linter should ignore those lines since it cannot understand what they really represent.

—
Reply to this email directly or view it on GitHub.

[thomasf]

I still belive they should be silently ignored since the linter cannot know if it should warn or not since it cannot execute the environment.