added port field to server model; tiny fixes in web interface