On Thu, Nov 8, 2012 at 12:36 PM, Jeff Janes <[email protected]> wrote: > > Should gettimeofday be called before and after the poll() and then the > difference deducted from timeout? >
Something like this?
poll_timeout.patch
Description: Binary data
-- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
