# process the files failed_files = [] for file_name in file_list: success = do_single_file(file_name, args.print_xml, args.write_xml) if not success: failed_files.append(file_name) # write the failed files to an output file, if requested if args.failed is not None: file_obj = open(args.failed, 'w') file_obj.writelines(f + '\n' for f in failed_files) file_obj.close() print('================') Statistics.show() Statistics.show_detail('fail') #Statistics.show_detail('cite-range') #Statistics.show_detail('bad-ascii') #Statistics.show_detail('non-ascii') print('================') # print date stamp timeEnd = datetime.datetime.now() print('[ptex] finished processing at', str(timeEnd)) # print summary for email summaryStrs.extend(Statistics.get_summary()) summaryStrs.insert( 0, 'started processing at %s, took %.1f minutes' %
# process the files failed_files = [] for file_name in file_list: success = do_single_file(file_name, args.print_xml, args.write_xml) if not success: failed_files.append(file_name) # write the failed files to an output file, if requested if args.failed is not None: file_obj = open(args.failed, 'w') file_obj.writelines(f + '\n' for f in failed_files) file_obj.close() print('================') Statistics.show() Statistics.show_detail('fail') #Statistics.show_detail('cite-range') #Statistics.show_detail('bad-ascii') #Statistics.show_detail('non-ascii') print('================') # print date stamp timeEnd = datetime.datetime.now() print('[ptex] finished processing at', str(timeEnd)) # print summary for email summaryStrs.extend(Statistics.get_summary()) summaryStrs.insert(0, 'started processing at %s, took %.1f minutes' % (timeStart.strftime('%H:%M'), (timeEnd - timeStart).total_seconds() / 60)) for s in summaryStrs: