we would need to get high-precision timestamps from date(1) 

Sounds like a nightmare :(. -k



Reply via email to