env.put("FORTE_LOGGER_SETUP", logFlags);
this.editorProcess = pb.start();
// listen for the process exit so we can refresh the resource
ProcessExitDetector processExitDetector = new ProcessExitDetector(this.editorProcess);
processExitDetector.addProcessListener(new ProcessListener() {
public void processFinished(Process process) {
try {
windowFile.refreshLocal(IResource.DEPTH_ZERO, null);
} catch (CoreException e) {
ToolPlugin.showError("Error refreshing fsw file", e);
}
}
});
processExitDetector.start();
// Start readers to consume output. It looks very innocuous with the output from the process
// being mapped to p.inputStream, but this is correct.
OutputContainer container = new OutputContainer(this.windowEditorStream);