Alternate IRC port?

[Lise]

Simple question, is it possible to connect to the PSU IRC server on any port other than 6667? My school has port 6667 blocked to try and limit file sharing (or some other crap like that.) Help please?

[Ghryphen]

Yeah I have a request from a outfitmate wondering if 80 or 8080 is available.

[Hamma]

I believe 7777 works

[Sputty]

Nice, next time when I'm at school I'll try that

[Lise]

Affirmative on the quad-7, Hamma. Thanks. :)

Perhaps this should be added to the IRC FAQ?