Re: gawk: append doesn't datestamp (PC)

[Stepan Kasal]

Hello,

On Thu, Apr 24, 2003 at 11:24:46PM +0300, Eli Zaretskii wrote:
> I don't think the version matters; I can reproduce this with Gawk
> 3.1.1 (the DJGPP port).

thank you for correcting my comments.

OK, I have tried this too.  I have two DOS like platforms at hand
currently:  MS-DOS 6.22 and Win ME.  I wasn't able to reproduce
the bug on any of them.  So it's probably OS specific.
I wonder whether the same bug can be reproduced with other programs
which append text to files (tee -a, for example).
And what if you try just echo a>x.x, echo b>>x.x?  Will this
reproduce the bug.

All of these should be tested both under Windows98 DOS window
and under true DOS (shutdown --> reboot to DOS mode).

So the original poster was probably true: it's probably a weirdness
of the OS, not bug of gawk.

Perhaps the developers of djgpp have enough experience to catch this bug.
It would be best if the bug was fixed once for all programs compiled
under the djgpp environment.  (Eli, I guess you where such people are.)

Just my $1e-5           :-)
                Stepan