Merge branch 'poll'
authorMartin Willi <martin@revosec.ch>
Fri, 21 Nov 2014 11:49:07 +0000 (12:49 +0100)
committerMartin Willi <martin@revosec.ch>
Fri, 21 Nov 2014 11:49:07 +0000 (12:49 +0100)
Replace relevant uses of select() by poll(). poll(2) avoids the difficulties
we have with more than 1024 open file descriptors, and seems to be fairly
portable.

Fixes #757.


Trivial merge