Forse il file di output è "bufferizzato" (orribile termine). Prova a
chiamare fflush() alla fine delle tue regole di awk.
>
federico
ti devo una pizza.... !!! grazie 1000... ora proseguo lo studio di awk per fare il parsing in tempo reale della stringa...
grazie ancora.
Ciao, ff77