public void stopPlatformManager ( VertxPlatformConfiguration config ) { Vertx vertx = this . vertxPlatforms . get ( config . getVertxPlatformIdentifier ( ) ) ; if ( vertx != null && isVertxHolded ( vertx ) ) { log . log ( Level . INFO , "Stopping Vert.x: " + config . getVertxPlatformIdentifier ( ) ) ; vertxPlatforms . remove ( config . getVertxPlatformIdentifier ( ) ) ; stopVertx ( vertx ) ; } }
Stops the Vert . x Platform Manager and removes it from cache .