From: Nozomi Anzai <anzai at sraoss.co.jp>
Date: Fri, 14 Oct 2011 02:25:35 +0000 (+0000)
Subject: Fix bug that inputting pipe for pgpool_logfile isn't allowed.
X-Git-Tag: V3_1_1~5
X-Git-Url: http://waps.l3s.uni-hannover.de/gitweb/?a=commitdiff_plain;h=6042b5bbfbea67694d67007a4cd4960e4320e15b;p=pgpooladmin.git

Fix bug that inputting pipe for pgpool_logfile isn't allowed.
---

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);
     }
 }