[pgpool-committers: 7405] 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_6_STABLE

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

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