diff options
| author | Peter Eisentraut | 2012-03-16 17:51:43 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2012-03-16 18:34:59 +0000 |
| commit | 693ff85d47181fad123ef245cf9c28539cc3db92 (patch) | |
| tree | 6b208a9a16cbdaa5fe64521e1df9a7c6c2629400 /src/backend/utils | |
| parent | b67ad046e6c37cbe0eebc5745323ed9864192f52 (diff) | |
backend: Fix minor memory leak in configuration file processing
Just for consistency with the other code paths.
found by Coverity
Diffstat (limited to 'src/backend/utils')
| -rw-r--r-- | src/backend/utils/misc/guc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/utils/misc/guc.c b/src/backend/utils/misc/guc.c index 486bdcddef8..3d2fe3ebc87 100644 --- a/src/backend/utils/misc/guc.c +++ b/src/backend/utils/misc/guc.c @@ -4095,6 +4095,7 @@ SelectConfigFiles(const char *userDoption, const char *progname) { write_stderr("%s cannot access the server configuration file \"%s\": %s\n", progname, ConfigFileName, strerror(errno)); + free(configdir); return false; } |