http-push: avoid a needless goto