Function random_port

webdiff/app.py:255–260

()

def random_port():
    sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
    sock.bind(('localhost', 0))
    port = sock.getsockname()[1]
    sock.close()
    return port


def pick_a_port(args, webdiff_config):