The URL of the Developer Console is different from the actual situation

Products

• CA API Developer Portal
• CA API Gateway

Issue/Introduction

URL of Publishd API is {Gateway_url}:8443/.... 
for example: 
https://{Gateway_url}:8448/test_api1 

However, In the Developer Console, the information on the port number of the URL is missing 
for example: 
https://{Gateway_url}:/test_api1 

Why? 
 

Environment

API Portal 4.2

Resolution

DeveloperConsole is from the "Develop" section. 
This section generates everything from the swagger file. 
The hostname, port, and URI are all generated from the swagger file. 
If no port is defined in the swagger file for an https scheme, then it will default to port 443. 
So the swagger file needs to have the port 8443 defined in it, if you want it to show up on the "Develop" page.