profiler: flush after writing the profiler output Otherwise, the profiler output might only partially appears until the next flush of the buffer. Since profiling often happens for long operation, the next flush can be a long time away.

     1

def run():

     2

    from . import demandimport

     3

     4

    with demandimport.tracing.log('hg script'):

     5

        demandimport.enable()

     6

        from . import dispatch

     7

     8

        dispatch.run()

     9

    10

    11

if __name__ == '__main__':

    12

    run()