On Wed, 21 Mar 2012 15:40:21 -0600,
Bob Proulx wrote:
> Sebastian Luque wrote:
>> $ echo '"2012-03-11 02:00:00"' | gawk -f test.awk 2012-03-11 03:00:00
>> ... Daylight savings for my local time zone (Central Time) started
>> on 2012-03-11. Time is not interpreted correctly for the second hour
>
Sebastian Luque wrote:
> $ echo '"2012-03-11 02:00:00"' | gawk -f test.awk
> 2012-03-11 03:00:00
> ...
> Daylight savings for my local time zone (Central Time) started on
> 2012-03-11. Time is not interpreted correctly for the second hour of
> the day when daylight savings starts.
Please state yo
Package: gawk
Version: 1:3.1.8+dfsg-0.1
Severity: normal
Dear Maintainer,
With the following program (test.awk):
------
{print fix_time($0)}
function fix_time(tstr) { # tstr=time string field
if (length(tstr) != 21 || !
3 matches
Mail list logo
