server
General server properties used by spring
| key | type | description | default value |
|---|---|---|---|
| server.port | int | Server HTTP port | 8082 |
| server.servlet.context-path | string | Context path of the application | /ors |
INFO
Other spring server properties might work out of the box, but are untested.