Martín Marqués dc0dfe9b56 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-09-29 16:06:05 -03:00

70 KiB

Raw Blame History

View Raw