MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

Added a registry key for default graceful stopping of processes on Windows (PY-17252)

Browse Source
This commit is contained in:
Dmitry Trofimov
2015-10-22 10:52:54 +02:00
parent 5df5660ad0
commit c6181b55e8
5 changed files with 15 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/python-rest/src/com/jetbrains/rest/run/RestCommandLineState.java
View File

@@ -75,7 +75,7 @@ public abstract class RestCommandLineState extends PythonCommandLineState {
protected ProcessHandler doCreateProcess(GeneralCommandLine commandLine) throws ExecutionException {
final Runnable afterTask = getAfterTask();
ProcessHandler processHandler = PythonProcessRunner.createProcess(commandLine);
ProcessHandler processHandler = PythonProcessRunner.createProcess(commandLine, false);
if (afterTask != null) {
processHandler.addProcessListener(new ProcessAdapter() {
public void processTerminated(ProcessEvent event) {

2
python/python-rest/src/com/jetbrains/rest/sphinx/SphinxBaseCommand.java
View File

@@ -133,7 +133,7 @@ public class SphinxBaseCommand {
private ProcessHandler createProcess(Module module) throws ExecutionException {
GeneralCommandLine commandLine = createCommandLine(module, Collections.<String>emptyList());
ProcessHandler handler = PythonProcessRunner.createProcess(commandLine);
ProcessHandler handler = PythonProcessRunner.createProcess(commandLine, false);
ProcessTerminatedListener.attach(handler);
return handler;
}