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

diff --git a/config.php b/config.php
index 0bbce540ca248f1d9fd5c24ae94d04a5bda053fa..9dcd3e3f9ea73f00e368f45f56255c326be75c73 100644 (file)
--- 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);
     }
 }