(filename, head=None)
Dumps a file content into log.info.

    If head is not None, will be dumped before the file content.
Dumps a file content into log.info.
Dumps a file content into log . info .
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()
def dump_file ( filename , head = None ) : if head is None : log . info ( '%s' , filename ) else : log . info ( head ) file = open ( filename ) try : log . info ( file . read ( ) ) finally : file . close ( )