NoScript and non-standard port numbers

[RSaunders]

Some folks in my company's IT department have an allegedly good reason to move one of their web services to a non-standard port number (8400). When I go to the web site they serve from this port, NoScript says the site may not run its scripts even though the domain part of the URL is allowed. The NoScript "Options..." button allows me to forbid the company's domain, but no allow this port. Though I long to forbid my employer's domain as a protest against this sort of IT management, that's really not a solution. The only alternative that I've been able to use is "Allow Scripts Globally" . Surely there must be another way to allow this port for this domain. Any ideas?

/Randy

[barbaz]

try forbidding the domain, go to
noscript menu -> options -> appearance, check (at least temporarily) "Full Addresses"

then allow the site's full address (i.e. http://host.dom.ain:8400) through ns menu
does that work?