On Thu, Nov 8, 2012 at 12:36 PM, Jeff Janes <jeff(dot)janes(at)gmail(dot)com> wrote:>> Should gettimeofday be called before and after the poll() and then the> difference deducted from timeout?>
Something like this?