我正在使用一个greenplum集群，在那里你可以提交查询只给主。我在application.conf中有主节点ip。但是由于高可用性等原因，主节点的IP切换到不同的机器。
application.conf条目：

database = {
  connectionPool = "HikariCP"
  dataSourceClass = "org.postgresql.ds.PGSimpleDataSource"
  properties = {
    serverName = "103.10.11.6"
    portNumber = "5432"
    databaseName = "test"
    currentSchema = "public"
    user = "user"
    password = "user123"
  }
  numThreads = 10
}

现在使用以下命令加载：

val db = Database.forConfig("database")

我可以捕获ConnectionException或ping机器并识别当前主机的IP。
但是，我如何在配置中覆盖serverName变量并在运行时重新加载。
这是一个好的设计吗？