Hi Steven,

I just notice that bjam measures time (via `timestamp_current()`) on non-Windows systems by simply calling `time()`, rather than something more precise such as `gettimeofday()`. Do you know why ?


Thanks,

Stefan
-- 

      ...ich hab' noch einen Koffer in Berlin...