database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
Code Activity

some more cleanups and fixes

Browse Source
This commit is contained in:
petr@mysql.com
2005-02-15 04:38:33 +03:00
parent bb8e5b6227
commit 59d8e51150
12 changed files with 77 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
server-tools/instance-manager/instance_options.h
View File

@ -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();