Merge remote-tracking branch 'upstream/incoming' into gl_small_fixes

Conflicts:
	src/library_gl.js

1 files changed, 15 insertions, 0 deletions

diff --git a/tools/clean_webconsole.py b/tools/clean_webconsole.py
new file mode 100644
index 00000000..550ace9a
--- /dev/null
+++ b/tools/clean_webconsole.py
@@ -0,0 +1,15 @@
+'''
+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:]
+  if line.startswith(('[', ']')):
+    line = line.split('@')[0]
+  print line
+