1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859 |
- #!/usr/bin/env python3
- # Import as few modules and define as few names as possible at global level before exec'ing the
- # file, as all names will be seen by the exec'ed file. To prevent name collisions, all names
- # defined here should begin with 'traceback_run_'
- import sys,time
- def traceback_run_init():
- import os
- sys.path.insert(0,'.')
- if 'TMUX' in os.environ: del os.environ['TMUX']
- os.environ['MMGEN_TRACEBACK'] = '1'
- of = os.path.join(os.environ['PWD'],'my.err')
- try: os.unlink(of)
- except: pass
- return of
- def traceback_run_process_exception():
- import traceback,re
- l = traceback.format_exception(*sys.exc_info()) # returns a list
- for n in range(len(l)):
- l[n] = re.sub('File "<string>"','File "{}"'.format(traceback_run_execed_file),l[n],count=1)
- exc = l.pop()
- if exc[:11] == 'SystemExit:': l.pop()
- red = lambda s: '\033[31;1m{}\033[0m'.format(s)
- yellow = lambda s: '\033[33;1m{}\033[0m'.format(s)
- sys.stdout.write('{}{}'.format(yellow(''.join(l)),red(exc)))
- open(traceback_run_outfile,'w').write(''.join(l+[exc]))
- traceback_run_outfile = traceback_run_init()
- traceback_run_tstart = time.time()
- try:
- sys.argv.pop(0)
- traceback_run_execed_file = sys.argv[0]
- exec(open(sys.argv[0]).read())
- except SystemExit as e:
- if e.code != 0:
- traceback_run_process_exception()
- sys.exit(e.code)
- except Exception as e:
- traceback_run_process_exception()
- sys.exit(e.mmcode if hasattr(e,'mmcode') else e.code if hasattr(e,'code') else 1)
- blue = lambda s: '\033[34;1m{}\033[0m'.format(s)
- sys.stdout.write(blue('Runtime: {:0.5f} secs\n'.format(time.time() - traceback_run_tstart)))
- # else:
- # print('else: '+repr(sys.exc_info()))
- # finally:
- # print('finally: '+repr(sys.exc_info()))
|