1 files changed, 34 insertions, 0 deletions
diff --git a/tools/clean_webconsole.py b/tools/clean_webconsole.py
new file mode 100644
index 00000000..43694179
--- /dev/null
+++ b/tools/clean_webconsole.py
@@ -0,0 +1,34 @@
+'''
+Removes timestamp and line info from a webgl log
+'''
+
+import os, sys, re
+
+__rootpath__ = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
+def path_from_root(*pathelems):
+  return os.path.join(__rootpath__, *pathelems)
+
+def nice(x):
+  return '0x' + ('0' * (len(x)-6)) + x[2:].upper()
+
+repdata = open(path_from_root('system', 'include', 'GL', 'gl.h')).readlines() + ['\n'] + \
+          open(path_from_root('system', 'include', 'GL', 'glext.h')).readlines()
+reps = {}
+for rep in repdata:
+  rep = rep.replace('\t', ' ').replace('\n', '')
+  parts = filter(lambda part: part != '', rep.split(' '))
+  if len(parts) == 3 and parts[0] == '#define':
+    reps[nice(parts[2])] = '%s (%s)' % (parts[1], parts[2])
+
+lines = sys.stdin.read().split('\n')
+
+for line in lines:
+  if line.startswith('['):
+    line = line[15:]
+  line = line.split(' @ ')[0]
+  line = re.sub('(0x[\dabcdef]+)', lambda hexx: reps[nice(hexx.group(0))] if nice(hexx.group(0)) in reps else nice(hexx.group(0)), line)
+  print line
+
+#for i in range(100):
+#  print
+