Make server ports configurable.