Recognize 'trunk' as a wesnoth version rather than a port number

This commit is contained in:
Alexander van Gessel 2012-09-09 16:10:46 +01:00
parent 92521cd5dd
commit f44354a645

View file

@ -92,7 +92,7 @@ if __name__ == "__main__":
options, args = optionparser.parse_args()
port = options.port
if "." in options.port:
if not options.port.isdigit():
for (portnum, version) in CampaignClient.portmap:
if options.port == version:
port = portnum