Always use #.# format for the -i flag even when the current locale uses a different separator. Locale de_DE which uses #,# normally.
Simple testcase: $ make USE_IDN=1 $ LANG=de_DE.UTF8 ./ping -i 0.5 localhost Reported-by: Sergey Fionov <fio...@gmail.com> Signed-off-by: Mike Frysinger <vap...@gentoo.org> --- ping_common.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ping_common.c b/ping_common.c index 62f53a6..0a37e09 100644 --- a/ping_common.c +++ b/ping_common.c @@ -269,9 +269,17 @@ void common_options(int ch) double dbl; char *ep; +#ifdef USE_IDN + setlocale(LC_ALL, "C"); +#endif + errno = 0; dbl = strtod(optarg, &ep); +#ifdef USE_IDN + setlocale(LC_ALL, ""); +#endif + if (errno || *ep != '\0' || !finite(dbl) || dbl < 0.0 || dbl >= (double)INT_MAX / 1000 - 1.0) { fprintf(stderr, "ping: bad timing interval\n"); -- 2.8.2