diff options
Diffstat (limited to 'server-tools/instance-manager/options.h')
| -rw-r--r-- | server-tools/instance-manager/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server-tools/instance-manager/options.h b/server-tools/instance-manager/options.h index 6d719c69629..abb094eac93 100644 --- a/server-tools/instance-manager/options.h +++ b/server-tools/instance-manager/options.h @@ -36,6 +36,7 @@ struct Options static char run_as_service; /* handle_options doesn't support bool */ static const char *user; #endif + static bool is_forced_default_file; static const char *log_file_name; static const char *pid_file_name; static const char *socket_file_name; |