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 | 38447ae81ad2fc08f654fd4a759c6446f31f2026 (patch) | |
| tree | 5aca45b36a3a525e8e0b3e565fa32bd3fa5ae991 /server-tools | |
| parent | 2d53ffc0ac68a07ea488d03d11b7aa0579eb7c54 (diff) | |
| download | mariadb-git-38447ae81ad2fc08f654fd4a759c6446f31f2026.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__ |