s += 'p' + self.pruning_limit + ' '
def add_port(letter, number):
- DEFAULT_PORTS = {'t':'50001', 's':'50002', 'h':'8081', 'g':'8082'}
+ DEFAULT_PORTS = {'t':'40001', 's':'40002', 'h':'7081', 'g':'7082'}
if not number: return ''
if DEFAULT_PORTS[letter] == number:
return letter + ' '