diff options
Diffstat (limited to 'common/exechelp-w32.c')
| -rw-r--r-- | common/exechelp-w32.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/common/exechelp-w32.c b/common/exechelp-w32.c index ea158a33f..be684caaa 100644 --- a/common/exechelp-w32.c +++ b/common/exechelp-w32.c @@ -397,6 +397,15 @@ gnupg_create_pipe (int filedes[2]) } +/* Close the end of a pipe. */ +void +gnupg_close_pipe (int fd) +{ + if (fd != -1) + close (fd); +} + + /* Fork and exec the PGMNAME, see exechelp.h for details. */ gpg_error_t gnupg_spawn_process (const char *pgmname, const char *argv[], |