Update --pinger-tries option to int

Review Request #3561 - Created March 11, 2016 and submitted

Information
Nick Howard (Twitter)
pants
3035
Reviewers
pants-reviews
benjyw, stuhood, zundel

https://rbcommons.com/s/twitter/r/3541 further regularized the type coercion rules for options. This broke pinger tries for me because it was passed as a float, which causes a type error later.

Manual testing locally.

Nick Howard (Twitter)
Peiyu Wang
Eric Ayers
Benjy Weinberger
Nick Howard (Twitter)
Review request changed

Status: Closed (submitted)

Change Summary:

https://github.com/pantsbuild/pants/commit/df51e57b1946b43bf43d3d8124bb70d3ce6cb36e

Loading...