+ // Open a new server socket if we do not already have one, or if we changed ports.
+ if (server_sock != -1 && port != old_port) {
+ fprintf(stderr, "NOTE: Port changed from %d to %d; opening new socket.\n", old_port, port);
+ close(server_sock);
+ server_sock = -1;