From 6042b5bbfbea67694d67007a4cd4960e4320e15b Mon Sep 17 00:00:00 2001
From: Nozomi Anzai <anzai at sraoss.co.jp>
Date: Fri, 14 Oct 2011 02:25:35 +0000
Subject: [PATCH] Fix bug that inputting pipe for pgpool_logfile isn't allowed.

---
 config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.php b/config.php
index 0bbce54..9dcd3e3 100644
--- a/config.php
+++ b/config.php
@@ -188,7 +188,7 @@ function setValue($key)
         $params[$key] = $g_msg_nodef;
     }
 
-    if (strpos($key, 'file') !== FALSE) {
+    if (strpos($key, 'file') !== FALSE && $key != 'pgpool_logfile') {
         fileError($key);
     }
 }
-- 
2.39.5