1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
--- src/flared/ini_option.cc.orig 2009-10-09 19:08:47.000000000 +0900
+++ src/flared/ini_option.cc 2010-05-30 00:32:09.744274848 +0900
@@ -23,6 +23,7 @@
_argv(NULL),
_back_log(default_back_log),
_config_path(""),
+ _pid_path(""),
_daemonize(false),
_data_dir(""),
_index_server_name(""),
@@ -106,6 +107,9 @@
if (opt_var_map.count("config")) {
this->_config_path = opt_var_map["config"].as<string>();
}
+ if (opt_var_map.count("pid")) {
+ this->_pid_path = opt_var_map["pid"].as<string>();
+ }
// parse config file
if (this->_config_path.empty() == false) {
@@ -362,6 +366,7 @@
int ini_option::_setup_cli_option(program_options::options_description& option) {
option.add_options()
("config,f", program_options::value<string>(), "path to config file")
+ ("pid,p", program_options::value<string>(), "path to pid file")
("version,v", "display version")
("help,h", "display this help");
|
