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()

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 ( )
dumps a file content into log .