Setting port in config file still renders a random port

[oli-obk]

I set gg.web.default-port, which works to actually set a specific port, but the command line output still shows the randomly generated port. This is different from using --port on the command line, where the output will actually be changed to show the real port