def dump_to_file(ctrl, pid, proc_name, folder):
 ctrl_safe_name = str(ctrl.__class__.__name__).split('_')[(-1)].lower()
 file_name = '{0}_{1}_{2}_{3:#x}.txt'.format(pid, proc_name, ctrl_safe_name, ctrl.v())
 with open(os.path.join(folder, file_name), 'wb') as out_file:
  out_file.write(ctrl.get_text())

def dump_to_file ( ctrl , pid , proc_name , folder ) : ctrl_safe_name = str ( ctrl . __class__ . __name__ ) . split ( '_' ) [ ( - 1 ) ] . lower ( ) file_name = '{0}_{1}_{2}_{3:#x}.txt' . format ( pid , proc_name , ctrl_safe_name , ctrl . v ( ) ) with open ( os . path . join ( folder , file_name ) , 'wb' ) as out_file : out_file . write ( ctrl . get_text ( ) )
dumps the data of the control to a file .