app/django/bin/profiling/gather_profile_stats.py
changeset 323 ff1a9aa48cfd
parent 54 03e267d67478
equal deleted inserted replaced
322:6641e941ef1e 323:ff1a9aa48cfd
       
     1 #!/usr/bin/env python
       
     2 
     1 """
     3 """
     2 gather_profile_stats.py /path/to/dir/of/profiles
     4 gather_profile_stats.py /path/to/dir/of/profiles
     3 
     5 
     4 Note that the aggregated profiles must be read with pstats.Stats, not
     6 Note that the aggregated profiles must be read with pstats.Stats, not
     5 hotshot.stats (the formats are incompatible)
     7 hotshot.stats (the formats are incompatible)