vertx push server