def stopJetty( int aStopPort = 8081,  String aHostName = 'localhost', String aStopKey = 'stop' ) {
    new Socket(aHostName, aStopPort).with {
        outputStream.write( "${aStopKey}
stop
".toString().bytes );
        outputStream.flush();
        close();
    }
}

http://grepcode.com/file/repo1.maven.org/maven2/org.eclipse.jetty/jetty-start/7.1.1.v20100517/org/eclipse/jetty/start/Main.java#Main.stop%28int%2Cjava.lang.String%29

See: http://grepcode.com/file/repo1.maven.org/maven2/org.eclipse.jetty/jetty-start/7.1.1.v20100517/org/eclipse/jetty/start/Main.java#Main.stop%28int%2Cjava.lang.String%29

Groovy - stopJetty

groovy

Groovy