diff options
| author | unknown <anozdrin@mysql.com> | 2006-05-10 18:53:28 +0400 |
|---|---|---|
| committer | unknown <anozdrin@mysql.com> | 2006-05-10 18:53:28 +0400 |
| commit | 841e5c19eb77e1fd41337f1316cff8d04d28ce11 (patch) | |
| tree | 5aca45b36a3a525e8e0b3e565fa32bd3fa5ae991 /server-tools | |
| parent | e67fa716dc9f051795bfb5b69c9a85803b2e6044 (diff) | |
| download | mariadb-git-841e5c19eb77e1fd41337f1316cff8d04d28ce11.tar.gz | |
Make it compilable on Windows.
Diffstat (limited to 'server-tools')
| -rw-r--r-- | server-tools/instance-manager/options.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/server-tools/instance-manager/options.cc b/server-tools/instance-manager/options.cc index 4d71680e061..a98c0e291be 100644 --- a/server-tools/instance-manager/options.cc +++ b/server-tools/instance-manager/options.cc @@ -354,8 +354,10 @@ void Options::cleanup() if (Options::saved_argv != NULL) free_defaults(Options::saved_argv); +#ifndef __WIN__ if (Options::run_as_service) free((void *) Options::angel_pid_file_name); +#endif } #ifdef __WIN__ |