posted 18 years ago
Good question. So I googled "hosts file format" and looked at the first link it returned. It says:
"Entries in the hosts file have the following format:
Address HostName"
There you are. Nothing about ports.
Anyway that would only affect the behaviour of your machine. Hardly worth providing a second name for localhost just to avoid typing ":8086" once in your browser, don't you think?