KarmaUtil.selectAndFocusIfNotDisposed(ui, consoleContent, false, false);
scheduleBrowserCapturingSuggestion(consoleContent);
}
});
}
myServer.onTerminated(new KarmaServerTerminatedListener() {
@Override
public void onTerminated(int exitCode) {
rootFormatter.onServerProcessTerminated();
printServerFinishedInfo(exitCode);
}