worklist/hifi — pull request #533 by ey6es (2013-06-13 18:15:25+00:00)
Title: Converted double timestamps to 64-bit integers, fixed bug in domain server (was faiing to update timestamps).

...th

updating agent timestamps.