Board Thread:General Discussion/@comment-7697305-20131209201037/@comment-24115866-20140125223530

is there a diffrent server port then 7777?