[pgpool-committers: 7404] 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
------
V3_5_STABLE

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

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