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 fa1fd1dd8ed..20cc6d321b2 100644 --- a/Build/source/utils/asymptote/pipestream.h +++ b/Build/source/utils/asymptote/pipestream.h @@ -138,7 +138,7 @@ public: virtual void pipeclose() { if(pipeopen) { - kill(pid,SIGQUIT); + kill(pid,SIGTERM); eof(); close(out[0]); Running=false; |