Github user anmolnar commented on the issue:
https://github.com/apache/zookeeper/pull/587
Committed to master. Thanks @maoling !
This patch doesn't apply to branch-3.5, but I think we should fix the issue
on it too.
Would you please open a separate pull request?---
