As Jeff said, TCP/443 is the default port for HTTPS, so you don't have
to mention it. If you're using a non-standard HTTPS port, you should
be able to specify it the same way, though.
> Also, if I do get the Crawl URL to point to the proper port, will the
> results of a query have the proper port in their links as well?
Yes.
Dave Watts, CTO, Fig Leaf Software
http://www.figleaf.com/
http://training.figleaf.com/
Fig Leaf Software is a Veteran-Owned Small Business (VOSB) on
GSA Schedule, and provides the highest caliber vendor-authorized
instruction at our training centers, online, or onsite.