traceback_run.py 1.8 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  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,os,time
  6. def traceback_run_init():
  7. import os
  8. sys.path[0] = 'test' if os.path.dirname(sys.argv[1]) == 'test' else '.'
  9. if 'TMUX' in os.environ: del os.environ['TMUX']
  10. os.environ['MMGEN_TRACEBACK'] = '1'
  11. os.environ['PYTHONPATH'] = '.'
  12. of = 'my.err'
  13. try: os.unlink(of)
  14. except: pass
  15. return of
  16. def traceback_run_process_exception():
  17. import traceback,re
  18. l = traceback.format_exception(*sys.exc_info()) # returns a list
  19. for n in range(len(l)):
  20. l[n] = re.sub('File "<string>"','File "{}"'.format(traceback_run_execed_file),l[n],count=1)
  21. exc = l.pop()
  22. if exc[:11] == 'SystemExit:': l.pop()
  23. if False: # was: if os.getenv('MMGEN_DISABLE_COLOR'):
  24. sys.stdout.write('{}{}'.format(''.join(l),exc))
  25. else:
  26. def red(s): return '\033[31;1m{}\033[0m'.format(s)
  27. def yellow(s): return '\033[33;1m{}\033[0m'.format(s)
  28. sys.stdout.write('{}{}'.format(yellow(''.join(l)),red(exc)))
  29. open(traceback_run_outfile,'w').write(''.join(l+[exc]))
  30. traceback_run_outfile = traceback_run_init()
  31. traceback_run_tstart = time.time()
  32. try:
  33. sys.argv.pop(0)
  34. traceback_run_execed_file = sys.argv[0]
  35. exec(open(sys.argv[0]).read())
  36. except SystemExit as e:
  37. if e.code != 0:
  38. traceback_run_process_exception()
  39. sys.exit(e.code)
  40. except Exception as e:
  41. traceback_run_process_exception()
  42. retval = e.mmcode if hasattr(e,'mmcode') else e.code if hasattr(e,'code') else 1
  43. sys.exit(retval)
  44. blue = lambda s: s if os.getenv('MMGEN_DISABLE_COLOR') else '\033[34;1m{}\033[0m'.format(s)
  45. sys.stdout.write(blue('Runtime: {:0.5f} secs\n'.format(time.time() - traceback_run_tstart)))