}
else if (options.server_port == 0)
{
options.server_port = atoi(*options_left);
if (options.server_port < 1024)
Error(ERR_EXIT_HELP, "bad port number '%d'", options.server_port);
}
else if (options.server_port == 0)
{
options.server_port = atoi(*options_left);
if (options.server_port < 1024)
Error(ERR_EXIT_HELP, "bad port number '%d'", options.server_port);