From e8230439c1f68cf14bce0b24c1cfd022d528405e Mon Sep 17 00:00:00 2001 From: Tatsuo Ishii Date: Mon, 20 Apr 2020 14:25:09 +0900 Subject: [PATCH] Forgot to push file in previous commit. Previous commit: https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=589a81960939102fb620b395b8cd45434d6aa4bc --- src/include/pool.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/include/pool.h b/src/include/pool.h index e122d755d..43e751852 100644 --- a/src/include/pool.h +++ b/src/include/pool.h @@ -625,7 +625,7 @@ typedef enum PT_PCP, PT_PCP_WORKER, PT_HEALTH_CHECK, - PT_LAST_PTYPE + PT_LAST_PTYPE /* last ptype marker. any ptype must be above this. */ } ProcessType; extern ProcessType processType; -- 2.39.5