diff options
| author | Giovanni Mascellani <mascellani@poisson.phc.unipi.it> | 2011-07-31 12:01:47 +0200 |
|---|---|---|
| committer | Sean Finney <seanius@htpc-l.(none)> | 2011-09-17 13:28:46 +0200 |
| commit | 36d723df4e46a36acde3cac2b8fda7678eddba8e (patch) | |
| tree | 61e6b39ed57e20c89c949e710e9e367c35cc6806 /patchtracker | |
| parent | 1e0c2ed9fb35436ba84bea0752d5a51772cfa51c (diff) | |
| download | patch-tracker-36d723df4e46a36acde3cac2b8fda7678eddba8e.tar.gz | |
Added export_for_udd.py script.
Diffstat (limited to 'patchtracker')
| -rw-r--r-- | patchtracker/Util.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/patchtracker/Util.py b/patchtracker/Util.py new file mode 100644 index 0000000..31a200c --- /dev/null +++ b/patchtracker/Util.py @@ -0,0 +1,9 @@ + +import resource +import sys + +def print_used_memory(msg): + """Small utility function to find where RAM is used at most.""" + r = resource.getrusage(resource.RUSAGE_SELF) + print >> sys.stderr, "%s; used memory = %d" % (msg, r.ru_maxrss) + |