int conversion

convert port in integer when it is set from config file