Korny: added optional port to server configuration