On Thu, Nov 8, 2012 at 12:36 PM, Jeff Janes <jeff.ja...@gmail.com> 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 (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
