// Getting the launch job
LaunchServerJob launchJob = server.getLaunchJob();
if ( launchJob != null )
{
// Getting the launch
ILaunch launch = launchJob.getLaunch();
if ( ( launch != null ) && ( !launch.isTerminated() ) )
{
// Terminating the launch
try
{
launch.terminate();
writeToInfoConsoleMessageStream( Messages.getString( "StopAction.ServerStopped" ) ); //$NON-NLS-1$
}
catch ( DebugException e )
{
ApacheDsPluginUtils.reportError( Messages.getString( "StopAction.ErrorWhenStopping" ) //$NON-NLS-1$