diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-30 03:00:43 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-30 03:00:43 +0000 |
commit | bbbe8128e7ae9d816a221377dbf5ff3969bb203b (patch) | |
tree | 0283a521760b879b30e61872f14f235645745675 /graphics/asymptote/pipestream.cc | |
parent | 14ce8b68fe7df49e8a8891bb94c63b9a846da232 (diff) |
CTAN sync 201909300300
Diffstat (limited to 'graphics/asymptote/pipestream.cc')
-rw-r--r-- | graphics/asymptote/pipestream.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/graphics/asymptote/pipestream.cc b/graphics/asymptote/pipestream.cc index c53287c28c..f7f3006c01 100644 --- a/graphics/asymptote/pipestream.cc +++ b/graphics/asymptote/pipestream.cc @@ -93,7 +93,7 @@ void iopipestream::eof() void iopipestream::pipeclose() { if(pipeopen) { -// kill(pid,SIGTERM); + kill(pid,SIGHUP); eof(); close(out[0]); Running=false; |