Use the correct port attribute in RHEL server configuration