fixes #811 Memory leak when closing a PUSH socket before the PULL
2 files changed