public static void restartIfActive(@NotNull RunContentDescriptor descriptor) {
ProcessHandler processHandler = descriptor.getProcessHandler();
if (processHandler != null
&& processHandler.isStartNotified()
&& !processHandler.isProcessTerminating()
&& !processHandler.isProcessTerminated()) {
restart(descriptor);
}
}
private static void restart(@Nullable JComponent component) {
if (component != null) {
ExecutionEnvironment environment =
LangDataKeys.EXECUTION_ENVIRONMENT.getData(
DataManager.getInstance().getDataContext(component));
if (environment != null) {
restart(environment);
}
}
}
public static void restart(@NotNull Content content) {
restart(content.getComponent());
}
public static void restart(@NotNull RunContentDescriptor descriptor) {
restart(descriptor.getComponent());
}
