equal
deleted
inserted
replaced
184 image_names = [name for name in os.listdir(outdir_name + '/' + THE_OUTFILE + '_files') if name != THE_OUTFILE] |
184 image_names = [name for name in os.listdir(outdir_name + '/' + THE_OUTFILE + '_files') if name != THE_OUTFILE] |
185 for image_name in image_names: |
185 for image_name in image_names: |
186 img_res.append(os.path.join(outdir_name + '/' + THE_OUTFILE + '_files', image_name)) |
186 img_res.append(os.path.join(outdir_name + '/' + THE_OUTFILE + '_files', image_name)) |
187 |
187 |
188 # clean images paths |
188 # clean images paths |
189 output = re.sub(r'<img(.+src=")outfile_files/([^"]+")', r'<img\1\2', output); |
189 output = re.sub(r'<img(.+src=")outfile_files/([^"]+")', r'<img\1\2', output) |
190 output = re.sub(r'<img(.+)style="width:[\d\.]+mm"', r'<img\1', output); |
190 output = re.sub(r'<img(.+)style="width:[\d\.]+mm"', r'<img\1', output) |
191 return output,img_res |
191 return output,img_res |
192 |
192 |
193 finally: |
193 finally: |
194 try: |
194 try: |
195 if out_f: |
195 if out_f: |