Chat server in Node.js and Vertx.js