diff options
Diffstat (limited to 'server-tools/instance-manager/instance_options.h')
| -rw-r--r-- | server-tools/instance-manager/instance_options.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance_options.h b/server-tools/instance-manager/instance_options.h index 888658969f2..5e91ee80f00 100644 --- a/server-tools/instance-manager/instance_options.h +++ b/server-tools/instance-manager/instance_options.h @@ -43,7 +43,7 @@ public: {} ~Instance_options(); /* fills in argv */ - int complete_initialization(const char *default_path); + int complete_initialization(const char *default_path, int only_instance); int add_option(const char* option); int init(const char *instance_name_arg); |