Re: (No subject)

[john doe]

04.04.2020, 15:04, "Davide Brini" <address@hidden>:

> What's wrong with curl blah | awk ... ?

Nothing is. But as I've said in another reply, I want to avoid pipes here. So, 
not that something's wrong but just for this particular task I want to 
understand, either I'm using getline (or system) wrong, or awk is doomed to 
lose some milliseconds if used this way, and there's no workaround it.


-- 
JD