30
30
## _tracefile; perhaps replace _tracefile with a tee thing.
32
32
global _tracefile, _starttime
34
35
# used to have % (os.environ['USER'], time.time(), os.getpid()), 'w')
37
38
# If false, notes also go to stdout; should replace this with --silent