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 f6d4a6d93c6..888658969f2 100644 --- a/server-tools/instance-manager/instance_options.h +++ b/server-tools/instance-manager/instance_options.h @@ -48,7 +48,7 @@ public: int add_option(const char* option); int init(const char *instance_name_arg); pid_t get_pid(); - void get_pid_filename(char *result); + int get_pid_filename(char *result); int unlink_pidfile(); void print_argv(); |