mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 20:12:31 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix compilation on FC4.

Browse source
This commit is contained in:
unknown 2006-05-18 23:34:35 +04:00
parent dfa780e648
commit 401d3a0708
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
server-tools/instance-manager/instance_options.cc
View file

@ -358,6 +358,7 @@ pid_t Instance_options::get_pid()
int Instance_options::complete_initialization(const char *default_path)
{
int arg_idx;
const char *tmp;
char *end;
@ -428,7 +429,7 @@ int Instance_options::complete_initialization(const char *default_path)
if (add_to_argv(tmp))
goto err;
int arg_idx= filled_default_options;
arg_idx= filled_default_options;
for (int opt_idx= 0; opt_idx < get_num_options(); ++opt_idx)
{
char option_str[MAX_OPTION_STR_LEN];