Martín Marqués 07a216ca25 If the user doesn't pass the port on which the primary server is listening ...

we have to assume it's the DEFAULT_MASTER_PORT.

This was not done, so we added a check to see if it has a value that is
usable, else we use DEFAULT_MASTER_PORT.

2014-11-10 12:34:30 -05:00

72 KiB

Raw Blame History

View Raw