GUI-1004

convert config'ed port values to integer