tool.py 文件源码

def run(main, options, args):
    import sys

    if options.tempdir:
    import tempfile, os
    if os.path.isdir(options.tempdir):
        tempfile.tempdir = options.tempdir
    else:
        raise ValueError('path does not exist', options.tempdir)

    if options.resource_usage:
    import datetime, time
    startTime = datetime.datetime.now()
    startClock = time.clock()

    try:
        status = runMain(main, options, args)
    except UsageError:
        status = 1
        print >> sys.stdout, "Try '%s --help'" % sys.argv[0]

    if options.resource_usage:
    stopTime = datetime.datetime.now()
    stopClock = time.clock()
    print >> sys.stderr, 'elapsed time:   ', stopTime - startTime
    print >> sys.stderr, 'processor time: ', datetime.timedelta(seconds=stopClock - startClock)

    sys.exit(status)