VERTX server, sending to socket