CDK Server adapter should have an option to configure stop command ------------------------------------------------------------------ Key: JBIDE-23660 URL: https://issues.jboss.org/browse/JBIDE-23660 Project: Tools (JBoss Tools) Issue Type: Enhancement Components: cdk Affects Versions: 4.4.2.Final Reporter: Ricardo Martinelli Oliveira Assignee: Rob Stryker Fix For: 4.5.x CDK Server adapter lets configure the vagrant startup options. There should have an option to do the same in the stop. Why? It seems that CDK Server adapter uses _vagrant destroy_ to stop CDK, but using that option has its drawbacks, like for example: * If I'm stopping it to save resources, then I'm loosing all my job in it. * All images already pulled will be lost, so I cannot work offline