add little tool to clean web console logs

1 files changed, 14 insertions, 0 deletions

diff --git a/tools/clean_webconsole.py b/tools/clean_webconsole.py
new file mode 100644
index 00000000..64af2dd5
--- /dev/null
+++ b/tools/clean_webconsole.py
@@ -0,0 +1,14 @@
+'''
+Removes timestamp and line info from a webgl log
+'''
+
+import os, sys
+
+lines = sys.stdin.read().split('\n')
+
+for line in lines:
+  if line.startswith('['):
+    line = line[15:]
+    line = line.split('@')[0]
+  print line
+