diff options
Diffstat (limited to 'Build/source/utils/asymptote/pipestream.h')
-rw-r--r-- | Build/source/utils/asymptote/pipestream.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/pipestream.h b/Build/source/utils/asymptote/pipestream.h index 191dfcffe85..e0546f61a63 100644 --- a/Build/source/utils/asymptote/pipestream.h +++ b/Build/source/utils/asymptote/pipestream.h @@ -135,11 +135,11 @@ public: virtual void pipeclose() { if(pipeopen) { + kill(pid,SIGQUIT); eof(); close(out[0]); Running=false; pipeopen=false; - kill(pid,SIGQUIT); waitpid(pid,NULL,0); // Avoid zombies. } } |