ServerVerticle with file