databases/flare/files/patch-flared-ini_option.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

--- src/flared/ini_option.h.orig	2009-10-09 19:08:47.000000000 +0900
+++ src/flared/ini_option.h	2010-05-30 00:33:49.304567301 +0900
@@ -26,6 +26,7 @@
 
 	int					_back_log;
 	string			_config_path;
+	string			_pid_path;
 	bool				_daemonize;
 	string			_data_dir;
 	string			_index_server_name;
@@ -84,6 +85,7 @@
 
 	int get_back_log() { return this->_back_log; };
 	string get_config_path() { return this->_config_path; };
+	string get_pid_path() { return this->_pid_path; };
 	bool is_daemonize() { return this->_daemonize; };
 	string get_data_dir() { return this->_data_dir; };
 	string get_index_server_name() { return this->_index_server_name; };