diff options
author | petr@mysql.com <> | 2005-02-15 04:38:33 +0300 |
---|---|---|
committer | petr@mysql.com <> | 2005-02-15 04:38:33 +0300 |
commit | 59d8e51150faa3aeaf489c4454fd6780ad849239 (patch) | |
tree | 11422217e66ff042bc75eb00563d6c7b1f36e26f /server-tools/instance-manager/instance_options.h | |
parent | bb8e5b6227ef83b67fd9a786bd32768231d42bdb (diff) | |
download | mariadb-git-59d8e51150faa3aeaf489c4454fd6780ad849239.tar.gz |
some more cleanups and fixes
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(); |