On Thu, Nov 8, 2012 at 12:36 PM, Jeff Janes <jeff.janes@gmail.com> wrote: > > Should gettimeofday be called before and after the poll() and then the > difference deducted from timeout? > Something like this?
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных