}
/* No certificates by default */
if (options->num_ports == 0)
- options->ports[options->num_ports++] = SSH_DEFAULT_PORT;
+ options->ports[options->num_ports++] = 8022 /*SSH_DEFAULT_PORT*/;
}
/* No certificates by default */
if (options->num_ports == 0)
- options->ports[options->num_ports++] = SSH_DEFAULT_PORT;
+ options->ports[options->num_ports++] = 8022 /*SSH_DEFAULT_PORT*/;