diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bin/pg_ctl/pg_ctl.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/bin/pg_ctl/pg_ctl.c b/src/bin/pg_ctl/pg_ctl.c index ad7f36cdd2b..a46ca53ba6e 100644 --- a/src/bin/pg_ctl/pg_ctl.c +++ b/src/bin/pg_ctl/pg_ctl.c @@ -2184,7 +2184,16 @@ main(int argc, char **argv) register_servicename = pg_strdup(optarg); break; case 'o': - post_opts = pg_strdup(optarg); + /* append option? */ + if (!post_opts) + post_opts = pg_strdup(optarg); + else + { + char *old_post_opts = post_opts; + + post_opts = psprintf("%s %s", old_post_opts, optarg); + free(old_post_opts); + } break; case 'p': exec_path = pg_strdup(optarg); |