On 12/08/2014 09:19 AM, Michael Paquier wrote:> - Use faster, higher precision timer API GetSystemTimeAsFileTime on windows
This is now committed.
-- Craig Ringer http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services