This version of hasql-pool is a simplified rewrite that doesn't use the resource-pool package. The major API changes are that idle connections are no longer timed out (and the corresponding setting is gone), and that `release` makes the pool unusable, where it used to remain usable and only flushed idle connections. We depend on a PostgREST fork of 0.7.2 that gives us reliable flushing, compare https://github.com/PostgREST/hasql-pool/pull/1 - hasql-pool 0.7 removes timing out of idle connections, so this change removes the db-pool-timeout option. Given that we were typically running with very high timeout settings, I don't anticipate the lack of timeout to introduce new issues, though we might want to consider introducing some retry-logic down the line when we encounter connection failures. - See https://github.com/PostgREST/postgrest/issues/2422 for a discussion on depending on a forked dependency. Besides adding the dependency to the nix overlay, we're also adding it to stack.yaml and a new cabal.project to allow stack/cabal users to build the project.
32 lines
939 B
Plaintext
32 lines
939 B
Plaintext
db-anon-role = "root"
|
|
db-channel = "postgrest"
|
|
db-channel-enabled = false
|
|
db-extra-search-path = "public, test"
|
|
db-max-rows = 1000
|
|
db-plan-enabled = true
|
|
db-pool = 1
|
|
db-pre-request = "please_run_fast"
|
|
db-prepared-statements = false
|
|
db-root-spec = "openapi_v3"
|
|
db-schemas = "multi, tenant,setup"
|
|
db-config = false
|
|
db-tx-end = "rollback-allow-override"
|
|
db-uri = "tmp_db"
|
|
db-use-legacy-gucs = false
|
|
jwt-aud = "https://postgrest.org"
|
|
jwt-role-claim-key = ".user[0].\"real-role\""
|
|
jwt-secret = "c2VjdXJpdHl0aHJvdWdob2JzY3VyaXR5"
|
|
jwt-secret-is-base64 = true
|
|
log-level = "info"
|
|
openapi-mode = "ignore-privileges"
|
|
openapi-security-active = true
|
|
openapi-server-proxy-uri = "https://postgrest.org"
|
|
raw-media-types = "application/vnd.pgrst.config"
|
|
server-host = "0.0.0.0"
|
|
server-port = 80
|
|
server-unix-socket = "/tmp/pgrst_io_test.sock"
|
|
server-unix-socket-mode = "777"
|
|
admin-server-port = 3001
|
|
app.settings.test = "test"
|
|
app.settings.test2 = "test"
|