Add page id to bloom index
authorTeodor Sigaev <[email protected]>
Tue, 12 Apr 2016 15:03:01 +0000 (18:03 +0300)
committerTeodor Sigaev <[email protected]>
Tue, 12 Apr 2016 15:03:01 +0000 (18:03 +0300)
commit813b456ea21d4cf57b124bf855ec019c7a8099a7
tree9149d043ae7d8d9e97c7bf1ecdf03f9210c5460e
parente7bcde8ca0d376d9d23d61855baf67122a66c76a
Add page id to bloom index

Added to ensure that bloom index pages can be distinguished from other pages
by pg_filedump. Because there wasn't any public/production versions before,
it doesn't pay attention to any compatibility issues.

Per notice from Tom Lane
contrib/bloom/bloom.h
contrib/bloom/blutils.c