[ros-dev] Re: Ping fixup

[WaxDragon]

Sorry about that, here is the corrected patch.


On Sat, 22 Jan 2005 15:40:23 -0500, WaxDragon <waxdragon(a)gmail.com> wrote:
>   ignore that, I tottally ignored the final report
> output.
>  
>  
>  On Sat, 22 Jan 2005 15:36:32 -0500, WaxDragon <waxdragon(a)gmail.com> wrote:
> >   This small patch fixes a bug in getting the ip
> > address form DNS, and
> >  changes the time formatting to avoid internationalization issues ( .
> >  vs , for thousands separator).
> >
> >  Andrew Munger
> >
> >  --
> >  The cheese stands alone.
> >
> >
> >  
>  
>  
>  --
>  The cheese stands alone.
>   

-- 
The cheese stands alone.