<@U092R6GVC>: Thanks, I figured it out. I just cou...

# kobalt

[cedric]

@swishy: Thanks, I figured it out. I just couldn’t find how to change the port of the server (didn’t find it documented) but I eventually tracked down ApplicationConfig.