fixed bug in ServerSettings:
instead of parsing the port number input, we tried to save the host
input as port, which failed, of course. Now fixed.