fix timing bug (only the millisecond part of the timestamp was used)
treef1bc331d52f6ca494094e7079e9273baa3c4a36f
-rw-r--r-- 111 AUTHORS
-rw-r--r-- 997 CMakeLists.txt
-rw-r--r-- 18273 COPYING
-rw-r--r-- 20403 COPYING-DOCS
-rw-r--r-- 25589 COPYING.LIB
-rw-r--r-- 5653 Mainpage.dox
-rw-r--r-- 9378 README
drwxr-xr-x - apps
drwxr-xr-x - runtime
drwxr-xr-x - workspace