proxy.pac exclude one host:port

[Corey Van Allen <coreyva@xxxxxxxxx>]

I've run into an issue with one site. I need to exclude it from from proxy.pac. The problem is the site is in the format http://example.com:443 and I have been unsuccessful in excluding it. 
Here a few snippets from my proxy.pac that I've tried.

if (url.substring(0, 5) == "http:") {
   if (dnsDomainIs(host, "example.com"))
       return "DIRECT";

####
if (url.substring(0, 6) == "https:") {
   if (dnsDomainIs(host, "example.com"))
       return "DIRECT";

####

   if (dnsDomainIs(host, "example.com"))
       return "DIRECT";

####
   if (shExpMatch(url, "http://example.com:443*";))
       return "DIRECT";

####

   if (shExpMatch(url, "http://example.com*";))
       return "DIRECT";

####

Unfortunately I have been unable to exclude it. I can't seem to get the right mix of http over 443. Is there a function like if (url.port = 443)? I have not been able to find anything that looks at the port.

Any help would be appreciated. 

--
Corey