[Ecls-list] low resolution of GET-INTERNAL-REAL-TIME

[Juan Jose Garcia-Ripoll]

Hi,

I think I have finally fixed this issue today. It remains to test
whether the Windows ports are affected by the new changes.

Incidentally, there were resolution problems in GET-INTERNAL-RUN-TIME
which did not return the value in right units. The new implementation
uses getrusage() and gettimeofday() where available. Otherwise it
tries with times() and time(). On Windows, GetTickCount() is used and
get-internal-run-time returns the same value as
get-internal-real-time.

Thanks for pointing this out,

Juanjo

-- 
Facultad de Fisicas, Universidad Complutense,
Ciudad Universitaria s/n Madrid 28040 (Spain)
http://juanjose.garciaripoll.googlepages.com