traceback_run.py 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. #!/usr/bin/env python3
  2. # Import as few modules and define as few names as possible at global level before exec'ing the
  3. # file, as all names will be seen by the exec'ed file. To prevent name collisions, all names
  4. # defined here should begin with 'traceback_run_'
  5. import sys,time
  6. def traceback_run_init():
  7. import os
  8. sys.path.insert(0,'.')
  9. if 'TMUX' in os.environ: del os.environ['TMUX']
  10. os.environ['MMGEN_TRACEBACK'] = '1'
  11. of = os.path.join(os.environ['PWD'],'my.err')
  12. try: os.unlink(of)
  13. except: pass
  14. return of
  15. def traceback_run_process_exception():
  16. import traceback,re
  17. l = traceback.format_exception(*sys.exc_info()) # returns a list
  18. for n in range(len(l)):
  19. l[n] = re.sub('File "<string>"','File "{}"'.format(traceback_run_execed_file),l[n],count=1)
  20. exc = l.pop()
  21. if exc[:11] == 'SystemExit:': l.pop()
  22. red = lambda s: '\033[31;1m{}\033[0m'.format(s)
  23. yellow = lambda s: '\033[33;1m{}\033[0m'.format(s)
  24. sys.stdout.write('{}{}'.format(yellow(''.join(l)),red(exc)))
  25. open(traceback_run_outfile,'w').write(''.join(l+[exc]))
  26. traceback_run_outfile = traceback_run_init()
  27. traceback_run_tstart = time.time()
  28. try:
  29. sys.argv.pop(0)
  30. traceback_run_execed_file = sys.argv[0]
  31. exec(open(sys.argv[0]).read())
  32. except SystemExit as e:
  33. if e.code != 0:
  34. traceback_run_process_exception()
  35. sys.exit(e.code)
  36. except Exception as e:
  37. traceback_run_process_exception()
  38. sys.exit(e.mmcode if hasattr(e,'mmcode') else e.code if hasattr(e,'code') else 1)
  39. blue = lambda s: '\033[34;1m{}\033[0m'.format(s)
  40. sys.stdout.write(blue('Runtime: {:0.5f} secs\n'.format(time.time() - traceback_run_tstart)))
  41. # else:
  42. # print('else: '+repr(sys.exc_info()))
  43. # finally:
  44. # print('finally: '+repr(sys.exc_info()))