Josh Kupershmidt 42357353a7 Several fixes for concurrent index builds:
* Use poll() if it is available, or select() otherwise, to
   efficiently wait on index builds in worker queries to finish.
 * fix off-by-one error when initially assigning workers
 * move PQsetnonblocking() calls to setup_workers()
2012-12-13 19:12:05 -07:00
..
2012-11-10 22:33:57 +00:00