# If you want to LOCALLY override any keys from this set, create/edit the /src/main/resources/local.properties file and add your key/value there.
# Please don't commit local.properties file into project's repository!

# HTTP server
server.port=8380
server.thread.min=3
server.thread.max=100
server.output.compression=true

# db
#db.jdbc.url=jdbc:mysql://192.168.0.50:3306/pluto?zeroDateTimeBehavior=convertToNull
db.jdbc.url=jdbc:postgresql://192.168.0.50:5432/pluto?zeroDateTimeBehavior=convertToNull
db.user=pluto
db.pass=power$14
# Note: the db connection setup setting can be overridden by setting the following environment variables:
# DB_SERVER (IP address expected), DB_NAME, DB_PORT, DB_USER, DB_PASSWORD

# Rserve
rserve.url=localhost
rserve.port=6311

# script worker
#todo: change to suitable dir
script.worker.r.workspace=${java.io.tmpdir}/r_workspace
#script.worker.r.workspace=${user.home}/r_workspace

# OpenId connect configuration
oidc.enabled=false
oidc.client.id={client key}
oidc.client.secret={client secret}
oidc.discovery.url=https://{oidc provider host}/oauth2/default/.well-known/openid-configuration
oidc.keys.validation.url=https://{oidc provider host}/oauth2/default/v1/keys
oidc.request.access.token.url=https://{oidc provider host}/oauth2/default/v1/token
oidc.callback.url={callback url}
oidc.scope={service scope}