Fix inconsequential FILE pointer leakage

diff --git a/src/port/exec.c b/src/port/exec.c
index 742318d..cc044ea 100644 (file)
--- a/src/port/exec.c
+++ b/src/port/exec.c
@@ -357,6 +357,7 @@ pipe_read_line(char *cmd, char *line, int maxsize)
 
        if (fgets(line, maxsize, pgver) == NULL)
        {
+               pclose(pgver);          /* no error checking */
                perror("fgets failure");
                return NULL;
        }