[pgpool-committers: 7408] pgpool: Fix to use proper data type for shared memory size.

[Tatsuo Ishii]

Fix to use proper data type for shared memory size.

pool_shared_memory_create() should use data type size_t for a variable
to store shared memory size. The data type used was int and it would
overflow if the size is big.

Branch
------
V4_1_STABLE

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=6a02c0630aa1a9db046869c7ef0656243b0991ca

Modified Files
--------------
src/main/pgpool_main.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)