Changing HTTPS port number via the command line

Hello, Changed the HTTPS port # from 443 to 8080 via the Data Domain Admin GUI. The GUI is no longer accessible. Long story short, I am looking in the Data Domain OS Command Reference Guide: https://support.emc.com/docu78753_Data-Domain-Operating-System-6.0-Command-Reference-Guide.pdf, and in the Data Domain Security Configuration Guide: https://support.emc.com/docu78741_Data-Domain-6.0-Product-Security-Guide.pdf, as well as online but I have not been able to find the command line to change the HTTPS port number back to the default of 443. Can anyone point me to where I can find the command and, or provide the command? Thank you!