pgpool2.git / summary / log / commit / refs

commit    afd18f924c0ea07d4e08ab8be87d476d66e4aec9
Author:   Tatsuo Ishii <ishii at sraoss.co.jp>
Date:     Fri May 06 23:43:26 2011 +0000

    Oops. I removed too much.


 pool_config.c | 4 ++++
 pool_config.l | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/pool_config.c b/pool_config.c
index 89f77d0db..69ee6a44c 100644
--- a/pool_config.c
+++ b/pool_config.c
@@ -2069,6 +2069,10 @@ int pool_get_config(char *confpath, POOL_CONFIG_CONTEXT context)
 	for(;;)
 	{
 		token = yylex();
+		if (token == 0)
+		{
+			break; 	 
+		}
 		if (token == POOL_PARSE_ERROR)
 		{
 			PARSE_ERROR();
diff --git a/pool_config.l b/pool_config.l
index cce866504..91bb35a43 100644
--- a/pool_config.l
+++ b/pool_config.l
@@ -344,6 +344,10 @@ int pool_get_config(char *confpath, POOL_CONFIG_CONTEXT context)
 	for(;;)
 	{
 		token = yylex();
+		if (token == 0)
+		{
+			break; 	 
+		}
 		if (token == POOL_PARSE_ERROR)
 		{
 			PARSE_ERROR();


[parent: 8011f2884db5]