Create a game_id index, and put the gin(players) index into gen_partitions.shl too...
authorRudolf Polzer <divverent@gmail.com>
Sun, 11 Jan 2015 16:04:00 +0000 (16:04 +0000)
committerRudolf Polzer <divverent@gmail.com>
Sun, 11 Jan 2015 16:04:00 +0000 (16:04 +0000)
commit1ccc5d5a2b8e8c713db0d3971dc8dc86a9cbbf5a
tree82e5cd6cccf85fc39b21485cd2b78267c1dec696
parent8e4c9c30b6d71ceea49e8879975518992b13dd66
Create a game_id index, and put the gin(players) index into gen_partitions.shl too for easier maintenance.
scripts/gen_partitions.shl