def dump_file(filename, head=None):
    """Dumps a file content into log.info.

    If head is not None, will be dumped before the file content.
    """
    if head is None:
        log.info('%s', filename)
    else:
        log.info(head)
    file = open(filename)
    try:
        log.info(file.read())
    finally:
        file.close()
Dumps a file content into log.info.

    If head is not None, will be dumped before the file content.
    
product/gradle-plugin/src/main/python/setuptools/_distutils/command/config.py