equal
deleted
inserted
replaced
449 fp.close() |
449 fp.close() |
450 elif opts.get('mbox'): |
450 elif opts.get('mbox'): |
451 ui.status(_('Writing '), subj, ' ...\n') |
451 ui.status(_('Writing '), subj, ' ...\n') |
452 fp = open(opts.get('mbox'), 'In-Reply-To' in m and 'ab+' or 'wb+') |
452 fp = open(opts.get('mbox'), 'In-Reply-To' in m and 'ab+' or 'wb+') |
453 generator = email.Generator.Generator(fp, mangle_from_=True) |
453 generator = email.Generator.Generator(fp, mangle_from_=True) |
454 date = time.ctime(start_time[0]) |
454 # Should be time.asctime(), but Windows prints 2-characters day |
|
455 # of month instead of one. Make them print the same thing. |
|
456 date = time.strftime('%a %b %d %H:%M:%S %Y', |
|
457 time.localtime(start_time[0])) |
455 fp.write('From %s %s\n' % (sender_addr, date)) |
458 fp.write('From %s %s\n' % (sender_addr, date)) |
456 generator.flatten(m, 0) |
459 generator.flatten(m, 0) |
457 fp.write('\n\n') |
460 fp.write('\n\n') |
458 fp.close() |
461 fp.close() |
459 else: |
462 else: |