http-push: cleanup