play and vertx for push