Rainer Gerhards 8b246de2a5 some light performance enhancement
...by replacing time() call with much faster (at least under linux)
gettimeofday() calls.
2009-11-12 17:12:10 +01:00
..
2009-11-12 17:12:10 +01:00