diff -r 0c931b2e2a68 -r 89225b187eb8 devtools/exlog.py
--- a/devtools/exlog.py	Thu Jan 08 16:56:23 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,39 +0,0 @@
-"""
-usage: python exlog.py < rql.log
-
-will print out the following table
-
-  total execution time || number of occurences || rql query
-
-sorted by descending total execution time
-
-chances are the lines at the top are the ones that will bring
-the higher benefit after optimisation. Start there.
-"""
-import sys, re
-
-def run():
-    requests = {}
-    for line in sys.stdin:
-        if not ' WHERE ' in line:
-            continue
-        #sys.stderr.write( line )
-        rql, time = line.split('--')
-        rql = re.sub("(\'\w+': \d*)", '', rql)
-        req = requests.setdefault(rql, [])
-        time.strip()
-        chunks = time.split()
-        cputime = float(chunks[-3])
-        req.append( cputime )
-
-    stat = []
-    for rql, times in requests.items():
-        stat.append( (sum(times), len(times), rql) )
-
-    stat.sort()
-    stat.reverse()
-    for time, occ, rql in stat:
-        print time, occ, rql
-
-if __name__ == '__main__':
-    run()