merge

1 files changed, 17 insertions, 0 deletions

diff --git a/tools/clean_webconsole.py b/tools/clean_webconsole.py
new file mode 100644
index 00000000..56bd9e2b
--- /dev/null
+++ b/tools/clean_webconsole.py
@@ -0,0 +1,17 @@
+'''
+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
+
+for i in range(100):
+  print
+