Bugfix: flag the process has killed before it disappears

This commit is contained in:
Laurent Clouet
2018-08-29 15:14:11 +02:00
parent f81d3b67b3
commit db39594ba8

View File

@@ -391,8 +391,8 @@ public class Client {
if (this.renderingJob != null) { if (this.renderingJob != null) {
if (this.renderingJob.getProcessRender().getProcess() != null) { if (this.renderingJob.getProcessRender().getProcess() != null) {
OS.getOS().kill(this.renderingJob.getProcessRender().getProcess());
this.renderingJob.setAskForRendererKill(true); this.renderingJob.setAskForRendererKill(true);
OS.getOS().kill(this.renderingJob.getProcessRender().getProcess());
} }
} }