[pgpool-committers: 7407] 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_0_STABLE

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

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