diff options
Diffstat (limited to 'src/port/path.c')
| -rw-r--r-- | src/port/path.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/port/path.c b/src/port/path.c index 932206a1a6b..be55e4af60d 100644 --- a/src/port/path.c +++ b/src/port/path.c @@ -445,7 +445,7 @@ get_progname(const char *argv0) if (progname == NULL) { fprintf(stderr, "%s: out of memory\n", nodir_name); - exit(1); /* This could exit the postmaster */ + abort(); /* This could exit the postmaster */ } #if defined(__CYGWIN__) || defined(WIN32) |