Qingqing Zhou <zhouqq@cs.toronto.edu> writes:
> I come up with a patch to fix server-side problem.
Applied.
> For windows, I set a one second waiting time -
The code actually does one millisecond; I left it that way since it
seems a reasonable value.
regards, tom lane
