Changing port of cottontail

[RibinMTC]

Dear devs,

Where can I change the port cottontail runs on? I haven't seen a port option in the provided config.json file.

Best,

Ribin

[ppanopticon]

Hello Ribin

Just add, server.port property to the config.json

{
  "root": "./cottontaildb-data",
  "server": {
     "port": 1234
  },
  "mapdb": {
    "enableMmap": true,
    "forceUnmap": true,
    "pageShift": 22
  }
}

Hope this helps.

Best,
Ralph