[done] Port numbers in servers.ini

[tomreyn]

Please expand servers.ini to allow storing port numbers in this file, too, and enable the game to interpret and connect to those ports when the given entry is selected from the LAN game menu.

Suggested format (backwards compatible):

Code: [Select]

; === propertyMap File ===

server1=123.123.123.123
server2=123.123.123.123:61377

With no port # provided, assume default port (61357).

[softcoder]

- added in svn

[tomreyn]

That's great, thanks you!